fix #6680

Z3Prover · Apr 11, 2023 · 58a2a9c · 58a2a9c
1 parent ccc4f2d
commit 58a2a9c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/parsers/smt2/smt2parser.cpp b/src/parsers/smt2/smt2parser.cpp
@@ -372,8 +372,8 @@ namespace smt2 {
                     return true;
                 }
                 catch (scanner_exception & ex) {
-                    SASSERT(ex.has_pos());
-                    error(ex.line(), ex.pos(), ex.msg());
+                    if (ex.has_pos())
+                        error(ex.line(), ex.pos(), ex.msg());
                     ++num_errors;
                 }
             }