Do not break for constraints

This commit is contained in:
Eddie Hung 2019-02-11 13:28:00 -08:00
parent 727ba52504
commit 04c580fde7
1 changed files with 0 additions and 1 deletions

View File

@ -102,7 +102,6 @@ void AigerReader::parse_aiger()
if (f.peek() == '\n') if (f.peek() == '\n')
break; break;
// Else constraint (TODO) // Else constraint (TODO)
break;
} }
else else
log_error("Line %u: cannot interpret first character '%c'!\n", line_count, c); log_error("Line %u: cannot interpret first character '%c'!\n", line_count, c);