diff --git a/src/parsers/smt2/smt2parser.cpp b/src/parsers/smt2/smt2parser.cpp
index 7a1fd640a..081a8c838 100644
--- 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;
                 }
             }