mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-15 13:28:47 +00:00
Code Activity

fix scanner bug at EOF

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2016-08-04 13:17:37 -07:00
parent 491b3b34aa
commit f3ef59b095
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/parsers/smt2/smt2scanner.cpp
View file

@ -92,7 +92,7 @@ namespace smt2 {
} }
scanner::token scanner::read_symbol_core() { scanner::token scanner::read_symbol_core() {
while (true) { while (!m_at_eof) {
char c = curr(); char c = curr();
signed char n = m_normalized[static_cast<unsigned char>(c)]; signed char n = m_normalized[static_cast<unsigned char>(c)];
if (n == 'a' || n == '0' || n == '-') { if (n == 'a' || n == '0' || n == '-') {
@ -106,6 +106,7 @@ namespace smt2 {
return SYMBOL_TOKEN; return SYMBOL_TOKEN;
} }
} }
return EOF_TOKEN;
} }
scanner::token scanner::read_symbol() { scanner::token scanner::read_symbol() {