parser fixes for bug 243

diff --git a/src/parser/smt/Smt.g b/src/parser/smt/Smt.g
index 0cceb53e4245f7473ac6f3efad00578b9203b639..b03188b3ce8909393da3ebe2018396ca613646b3 100644 (file)
--- 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
   :   '{'
-      ( ~('{' | '}') )*
+      ( '\\{' | '\\}' | ~('{' | '}') )*
     '}'
   ;