Do not break for constraints

diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc
index 096e269b26e6b7fde79120b436e7672965474fac..1e13e1124fdad99a33f7f2a398f292c80dafd86d 100644 (file)
--- a/frontends/aiger/aigerparse.cc
+++ b/frontends/aiger/aigerparse.cc
@@ -102,7 +102,6 @@ void AigerReader::parse_aiger()
             if (f.peek() == '\n')
                 break;
             // Else constraint (TODO)
-            break;
         }
         else
             log_error("Line %u: cannot interpret first character '%c'!\n", line_count, c);