diff options
author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2011-05-02 19:45:08 +0000 |
---|---|---|
committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2011-05-02 19:45:08 +0000 |
commit | d9ab41bcb2ff1e099a93438039432ef43dc4257a (patch) | |
tree | 1ca2634ed41bd1ce7d0f0f6506ec976564dabb9f | |
parent | e6383effa630863bcc73abc1df985b1dad55db39 (diff) |
parser fixes for bug 243
-rw-r--r-- | src/parser/smt/Smt.g | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/parser/smt/Smt.g b/src/parser/smt/Smt.g index 0cceb53e4..b03188b3c 100644 --- a/src/parser/smt/Smt.g +++ b/src/parser/smt/Smt.g @@ -598,7 +598,6 @@ XOR_TOK : 'xor'; // Bitvector tokens BITVECTOR_TOK : 'BitVec'; -BV_TOK : 'bv'; CONCAT_TOK : 'concat'; EXTRACT_TOK : 'extract'; BVAND_TOK : 'bvand'; @@ -678,7 +677,7 @@ FLET_IDENTIFIER */ USER_VALUE : '{' - ( ~('{' | '}') )* + ( '\\{' | '\\}' | ~('{' | '}') )* '}' ; |