From d3d079fb67ed5648433e88ee25c372ac4d95c196 Mon Sep 17 00:00:00 2001
From: Ally Donaldson <unknown>
Date: Mon, 22 Jul 2013 15:32:45 +0100
Subject: Whitespace fix

---
 Source/Model/Model.cs | 32 ++++++++++++++++----------------
 1 file changed, 16 insertions(+), 16 deletions(-)

(limited to 'Source/Model')

diff --git a/Source/Model/Model.cs b/Source/Model/Model.cs
index 3fafea97..1f97125a 100644
--- a/Source/Model/Model.cs
+++ b/Source/Model/Model.cs
@@ -695,24 +695,24 @@ namespace Microsoft.Boogie
       foreach (var f in functions) f.Substitute(mapping);
     }
 
-	public static List<Model> ParseModels(System.IO.TextReader rd, string prover)
-	{
-	  ModelParser p;
+    public static List<Model> ParseModels(System.IO.TextReader rd, string prover)
+    {
+      ModelParser p;
 	
-	  switch (prover)
-	  {
-	    case "SMTLIB2":
-		  p = new ParserSMT();
-		  break;
-		default:
-		  p = new ParserZ3();
-		  break;
-	  }
+      switch (prover)
+      {
+        case "SMTLIB2":
+          p = new ParserSMT();
+          break;
+        default:
+          p = new ParserZ3();
+          break;
+      }
 	
-	  p.rd = rd;
-	  p.Run();
+      p.rd = rd;
+      p.Run();
 	
-	  return p.resModels;
-	}
+      return p.resModels;
+    }
   }
 }
-- 
cgit v1.2.3