Do not ignore newline after AND in binary AIG

diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc
index c45de8531796ef2aa5b9063756d219abd808a0b3..ed91b69903f261451a6d1b8424d973f22fa82a30 100644 (file)
--- a/frontends/aiger/aigerparse.cc
+++ b/frontends/aiger/aigerparse.cc
@@ -242,7 +242,6 @@ void AigerReader::parse_aiger_ascii()
         and_cell->setPort("\\B", i2_wire);
         and_cell->setPort("\\Y", o_wire);
     }
-    std::getline(f, line); // Ignore up to start of next line
 }
 
 static unsigned parse_next_delta_literal(std::istream &f, unsigned ref)