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 EOF detection when char is unsigned.

Browse source
This commit is contained in:
Jerry James 2020-01-23 14:27:59 -07:00 committed by Nikolaj Bjorner
parent ce0ccc2e9e
commit a3b715b963
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/parsers/util/scanner.cpp
View file

@ -480,7 +480,7 @@ scanner::token scanner::scan() {
return read_number(ch, true); return read_number(ch, true);
case '#': case '#':
return read_bv_literal(); return read_bv_literal();
case -1: case static_cast<char>(-1):
m_state = EOF_TOKEN; m_state = EOF_TOKEN;
break; break;
default: default: