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) {