projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: b19fc88)
Use sigmap signal
authorEddie Hung <eddie@fpgeh.com>
Tue, 17 Dec 2019 00:40:52 +0000 (16:40 -0800)
committerEddie Hung <eddie@fpgeh.com>
Tue, 17 Dec 2019 00:49:42 +0000 (16:49 -0800)
backends/aiger/xaiger.cc patch | blob | history

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index 6ca24bd7e6cf8b8111d55a599fda5fd3c0466e87..e060efecec836a3fdf77c589a27e5ef409cba91d 100644 (file)
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -471,7 +471,7 @@ struct XAigerWriter
                                                        SigBit O = sigmap(b);
                                                        if (O != b)
                                                                alias_map[O] = b;
-                                                       input_bits.erase(b);
+                                                       input_bits.erase(O);
                                                        undriven_bits.erase(O);
                                                }
                                        }