Handle latch symbols too

diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc
index 9504325783d73b58057999d6fe16339af66f093e..a2b2f611e41638f8ced889c2b4f25575455a415c 100644 (file)
--- a/frontends/aiger/aigerparse.cc
+++ b/frontends/aiger/aigerparse.cc
@@ -186,7 +186,7 @@ static void parse_aiger_ascii(RTLIL::Design *design, std::istream &f, std::strin
 
     std::string s;
     for (int c = f.peek(); c != EOF; c = f.peek(), ++line_count) {
-        if (c == 'i' || c == 'o') {
+        if (c == 'i' || c == 'l' || c == 'o') {
             f.ignore(1);
             if (!(f >> l1 >> s))
                 log_error("Line %d cannot be interpreted as a symbol entry!\n", line_count);
@@ -202,8 +202,6 @@ static void parse_aiger_ascii(RTLIL::Design *design, std::istream &f, std::strin
 
             module->rename(wire, stringf("\\%s", s.c_str()));
         }
-        else if (c == 'l') {
-        }
         else if (c == 'b' || c == 'j' || c == 'f') {
             // TODO
         }