fix on parser for bit vectors

1 files changed, 3 insertions, 2 deletions

diff --git a/Source/Model/ModelParser.cs b/Source/Model/ModelParser.cs
index fcc4cda6..723ccce5 100644
--- a/Source/Model/ModelParser.cs
+++ b/Source/Model/ModelParser.cs
@@ -22,6 +22,7 @@ namespace Microsoft.Boogie
 
 		string lastLine = "";
 		protected static char[] seps = new char[] { ' ' };
+		protected static Regex bv = new Regex(@"\(_ BitVec (\d+)\)");
 
 		protected void NewModel()
 		{
@@ -90,8 +91,6 @@ namespace Microsoft.Boogie
 
 	class ParserZ3_2 : ModelParser
 	{
-		static Regex bv = new Regex(@"\(_ BitVec (\d+)\)");
-
 		List<object> GetFunctionTokens(string newLine)
 		{
 			if (newLine == null)
@@ -396,6 +395,8 @@ namespace Microsoft.Boogie
 			if (newLine == null)
 				return null;
 
+			newLine = bv.Replace(newLine, "bv${1}");
+
 			string line = newLine;
 			int openParenCounter = CountOpenParentheses(newLine, 0);