Assertion Violation at ../src/parsers/smt2/smt2parser.cpp

[brutalsavage]

Description: ASSERTION VIOLATION when no new line character at the end of file with #x0

small code small.smt2 to reproduce:

(assert a #x0

output

(error "line 1 column 9: unknown constant a")
ASSERTION VIOLATION
File: ../src/parsers/smt2/smt2parser.cpp
Line: 375
ex.has_pos()
(C)ontinue, (A)bort, (S)top, (T)hrow exception, Invoke (G)DB
A

Note after adding a new line character the code does not trigger any assertion violation

Command: running z3 (e6ea815) with debug build z3 small.smt2