diff options
| author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-05-06 20:07:56 +0000 |
|---|---|---|
| committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-05-06 20:07:56 +0000 |
| commit | 1e8c9ae990adc55570298d1ffc5d8c55fbc71237 (patch) | |
| tree | 8c8c0243a44a75ee471e7a477ed2391279df419c /src/parser/parser.cpp | |
| parent | e909abcaf122e7c426d2b078728679f43a8ca442 (diff) | |
Adding bit-vector constants in SMT2
Diffstat (limited to 'src/parser/parser.cpp')
| -rw-r--r-- | src/parser/parser.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/parser/parser.cpp b/src/parser/parser.cpp index 01cc99c3d..d788a2c3f 100644 --- a/src/parser/parser.cpp +++ b/src/parser/parser.cpp @@ -241,8 +241,9 @@ Expr Parser::nextExpression() throw(ParserException) { if(!done()) { try { result = d_input->parseExpr(); - if(result.isNull()) + if(result.isNull()) { setDone(); + } } catch(ParserException& e) { setDone(); throw; |