1 files changed, 4 insertions, 2 deletions
diff --git a/csgterm.cc b/csgterm.cc
index 359d3b5..826ec44 100644
--- a/csgterm.cc
+++ b/csgterm.cc
@@ -69,11 +69,13 @@ CSGTerm *CSGTerm::normalize()
 		y->unlink();
 	}
 
-	do {
+	while (1) {
 		t2 = t1->normalize_tail();
 		t1->unlink();
+		if (t1 == t2)
+			break;
 		t1 = t2;
-	} while (t1 != t2);
+	}
 
 	return t1;
 }