diff options
Diffstat (limited to 'lib/SMT')
| -rw-r--r-- | lib/SMT/smtlib.lex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/SMT/smtlib.lex b/lib/SMT/smtlib.lex index 25032eeb..75986a99 100644 --- a/lib/SMT/smtlib.lex +++ b/lib/SMT/smtlib.lex @@ -54,7 +54,7 @@ static int smtlibinput(std::istream& is, char* buf, int size) { if(partialStr) is.clear(); - for(res = 0; res<size && buf[res] != 0; res++); + for(res = 0; res<size && buf[res] != 0; res++) ; if(res == size) smtliberror("Lexer bug: overfilled the buffer"); if(!partialStr) { // Insert \n into the buffer buf[res++] = '\n'; |