Fix write_aiger bug added in 524af21

Signed-off-by: Clifford Wolf <clifford@clifford.at>

diff --git a/backends/aiger/aiger.cc b/backends/aiger/aiger.cc
index 3e8b14deee0e1c3fc127b8030d9ff16215408ecc..44718baaed05bdf130c0483401af342ee8f6f789 100644 (file)
--- a/backends/aiger/aiger.cc
+++ b/backends/aiger/aiger.cc
@@ -91,6 +91,9 @@ struct AigerWriter
                } else
                if (alias_map.count(bit)) {
                        a = bit2aig(alias_map.at(bit));
+               } else
+               if (initstate_bits.count(bit)) {
+                       a = initstate_ff;
                }
 
                if (bit == State::Sx || bit == State::Sz)