One more workaround for gcc-4.8

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index 6718e4f2cd192f68ce6bd7df194d3f33be785616..637c54ff91d291df4c7245c59b5715e8207c07d9 100644 (file)
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -429,12 +429,13 @@ struct XAigerWriter
                                module->connect(new_bit, bit);
                                if (not_map.count(bit))
                                        not_map[new_bit] = not_map.at(bit);
-                               else if (and_map.count(bit))
-                                       and_map[new_bit] = and_map.at(bit);
+                               else if (and_map.count(bit)) {
+                                   //and_map[new_bit] = and_map.at(bit); // Breaks gcc-4.8
+                                   and_map.insert(std::make_pair(new_bit, and_map.at(bit)));
+                               }
                                else if (alias_map.count(bit))
                                        alias_map[new_bit] = alias_map.at(bit);
                                else
-                                       //log_abort();
                                        alias_map[new_bit] = bit;
                                output_bits.erase(bit);
                                output_bits.insert(new_bit);