Bugfix. #x notation for hex literals did not work.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1379 e59a4935-1847-0410-ae03-e826735625c1

diff --git a/src/parser/smt2.lex b/src/parser/smt2.lex
index d5daf71ef995beace59e71382a74bc7cdc5e8763..bafd7012b870b8db752eba4019c379e58538c994 100644 (file)
--- a/src/parser/smt2.lex
+++ b/src/parser/smt2.lex
@@ -126,7 +126,7 @@ ANYTHING  ({LETTER}|{DIGIT}|{OPCHAR})
 
 bv{DIGIT}+     { smt2lval.str = new std::string(smt2text+2); return BVCONST_DECIMAL_TOK; }
 #b{DIGIT}+  { smt2lval.str = new std::string(smt2text+2); return BVCONST_BINARY_TOK; }
-#x(DIGIT|[a-fA-F])+  { smt2lval.str = new std::string(smt2text+2); return BVCONST_HEXIDECIMAL_TOK; }
+#x({DIGIT}|[a-fA-F])+  { smt2lval.str = new std::string(smt2text+2); return BVCONST_HEXIDECIMAL_TOK; }
 
 {DIGIT}+"."{DIGIT}+ { return DECIMAL_TOK;}