diff options
-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 : '{' - ( ~('{' | '}') )* + ( '\\{' | '\\}' | ~('{' | '}') )* '}' ; |