diff options
| -rw-r--r-- | passes/sat/sim.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc index 1cd0a0338..57d6182c0 100644 --- a/passes/sat/sim.cc +++ b/passes/sat/sim.cc @@ -1225,6 +1225,7 @@ struct SimWorker : SimShared case 2: write_output_header(); top->setState(latches, line); + state = 3; break; default: if (cycle) { |