cleaning up some unused code

1 files changed, 2 insertions, 16 deletions

diff --git a/Source/Model/ModelParser.cs b/Source/Model/ModelParser.cs
index a88e091e..fcc4cda6 100644
--- a/Source/Model/ModelParser.cs
+++ b/Source/Model/ModelParser.cs
@@ -22,7 +22,6 @@ namespace Microsoft.Boogie
 
 		string lastLine = "";
 		protected static char[] seps = new char[] { ' ' };
-		protected static Regex bv = new Regex(@"\(_ BitVec (\d+)\)");
 
 		protected void NewModel()
 		{
@@ -91,6 +90,8 @@ namespace Microsoft.Boogie
 
 	class ParserZ3_2 : ModelParser
 	{
+		static Regex bv = new Regex(@"\(_ BitVec (\d+)\)");
+
 		List<object> GetFunctionTokens(string newLine)
 		{
 			if (newLine == null)
@@ -302,19 +303,6 @@ namespace Microsoft.Boogie
 		abstract protected void ParseITE(ref int i);
 		abstract protected void ParseArray(ref int i);
 
-		void ParseEqual(ref int i)
-		{
-			i += 3;
-			output.Add(GetValue(i));
-			output.Add("->");
-			i += 2;
-			output.Add(GetValue(i));
-			output.Add(" ");
-			output.Add("else");
-			output.Add("->");
-			i++;
-		}
-
 		protected void ParseBitVector(ref int i)
 		{
 			i++;
@@ -408,8 +396,6 @@ namespace Microsoft.Boogie
 			if (newLine == null)
 				return null;
 
-			newLine = bv.Replace(newLine, "bv${1}");
-
 			string line = newLine;
 			int openParenCounter = CountOpenParentheses(newLine, 0);