Fix gcc invalidation behaviour for write_aiger

diff --git a/backends/aiger/aiger.cc b/backends/aiger/aiger.cc
index 4c2ea511acca9b606ba0554e5322dba790e7aaa4..4fb47f0d6ba9d3bf01b1650175f8d9c135faac07 100644 (file)
--- a/backends/aiger/aiger.cc
+++ b/backends/aiger/aiger.cc
@@ -89,7 +89,8 @@ struct AigerWriter
                                aig_map[bit] = mkgate(a0, a1);
                        } else
                        if (alias_map.count(bit)) {
-                               aig_map[bit] = bit2aig(alias_map.at(bit));
+                int a = bit2aig(alias_map.at(bit));
+                               aig_map[bit] = a;
                        }
 
                        if (bit == State::Sx || bit == State::Sz)