From c2b11f0ac038e532b53d07a810d02332f613a413 Mon Sep 17 00:00:00 2001
From: Brian Campbell <Brian.Campbell@ed.ac.uk>
Date: Mon, 16 Oct 2023 11:01:01 +0100
Subject: [PATCH] Allow 0c hex format in the SMT parser

---
 isla-lib/src/smt_parser.lalrpop | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/isla-lib/src/smt_parser.lalrpop b/isla-lib/src/smt_parser.lalrpop
index be28a260..4fd3ff7b 100644
--- a/isla-lib/src/smt_parser.lalrpop
+++ b/isla-lib/src/smt_parser.lalrpop
@@ -112,7 +112,7 @@ pub Exp: Exp<Loc<String>> = {
 
 Exp1: Exp<Loc<String>> = {
     <loc:Loc> =>? Ok(Exp::Var(loc)),
-    <bv:r"[#0][bx][0-9A-Fa-f]+"> =>? Ok(smt_bits_from_str(bv).ok_or_else(|| format!("Bad bitvector literal {}", bv))?),
+    <bv:r"[#0][bcx][0-9A-Fa-f]+"> =>? Ok(smt_bits_from_str(bv).ok_or_else(|| format!("Bad bitvector literal {}", bv))?),
     "true" => Exp::Bool(true),
     "false" => Exp::Bool(false),
     "not"   <e:Exp1> => Exp::Not(Box::new(e)),