From d9ab41bcb2ff1e099a93438039432ef43dc4257a Mon Sep 17 00:00:00 2001
From: Dejan Jovanović <dejan.jovanovic@gmail.com>
Date: Mon, 2 May 2011 19:45:08 +0000
Subject: parser fixes for bug 243

---
 src/parser/smt/Smt.g | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'src/parser/smt/Smt.g')

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
   :   '{'
-      ( ~('{' | '}') )*
+      ( '\\{' | '\\}' | ~('{' | '}') )*
     '}'
   ;
 
-- 
cgit v1.2.3