diff options
| author | Eddie Hung <eddieh@ece.ubc.ca> | 2019-02-11 13:28:00 -0800 |
|---|---|---|
| committer | Eddie Hung <eddieh@ece.ubc.ca> | 2019-02-11 13:28:00 -0800 |
| commit | 04c580fde7a0d1d50c2d93bb6661b3f17a7d61a9 (patch) | |
| tree | 7a6d5846384e615e0889fa48dbf3af41e018d8cf /frontends/aiger/aigerparse.cc | |
| parent | 727ba52504c65be1fcda9b03f6c2e1498e10061d (diff) | |
| download | yosys-04c580fde7a0d1d50c2d93bb6661b3f17a7d61a9.tar.gz yosys-04c580fde7a0d1d50c2d93bb6661b3f17a7d61a9.tar.bz2 yosys-04c580fde7a0d1d50c2d93bb6661b3f17a7d61a9.zip | |
Do not break for constraints
Diffstat (limited to 'frontends/aiger/aigerparse.cc')
| -rw-r--r-- | frontends/aiger/aigerparse.cc | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc index 096e269b2..1e13e1124 100644 --- 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); |