Fix gcc invalidation behaviour for write_aiger

diff --git a/backends/aiger/aiger.cc b/backends/aiger/aiger.cc
index d685c56380b2c2e2a94cb7d759c6e4cc8c787a62..6863b40faeb025612e60d662fdad7ed5ca5cd108 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)