From: Dejan Jovanović <dejan.jovanovic@gmail.com>
Date: Mon, 2 May 2011 19:45:08 +0000 (+0000)
Subject: parser fixes for bug 243
X-Git-Tag: cvc5-1.0.0~8563
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d9ab41bcb2ff1e099a93438039432ef43dc4257a;p=cvc5.git

parser fixes for bug 243
---

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