diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index 5d15df310..1006d56c6 100644
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -652,7 +652,7 @@ struct XAigerWriter
 					write_s_buffer(0);
 				else {
 					log_assert(init == State::Sx);
-					write_s_buffer(0);
+					write_s_buffer(2);
 				}
 
 				// Use arrival time from output of flop box