From 58a2a9c79c4b0b48a16c537225489fe3fde0c271 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 11 Apr 2023 14:42:47 -0700 Subject: [PATCH] fix #6680 --- src/parsers/smt2/smt2parser.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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; } }