read_xaiger to cope with optional '\n' after 'c'

diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc
index 65a9e30ae3db0fb3fcb0fef05703cb0b4d465eea..abc2f414486840e5d98c176d9cb3ed6220e63b9c 100644 (file)
--- a/frontends/aiger/aigerparse.cc
+++ b/frontends/aiger/aigerparse.cc
@@ -379,8 +379,8 @@ void AigerReader::parse_xaiger(const dict<int,IdString> &box_lookup)
        int c = f.get();
        if (c != 'c')
                log_error("Line %u: cannot interpret first character '%c'!\n", line_count, c);
-       c = f.get();
-       log_assert(c == '\n');
+       if (f.peek() == '\n')
+               f.get();
 
        // Parse footer (symbol table, comments, etc.)
        std::string s;