From 33a3423b8a5455c5de7e1f32c27946bb704d650c Mon Sep 17 00:00:00 2001
From: Michal Moskal <michal@moskal.me>
Date: Tue, 12 Jul 2011 14:18:07 -0700
Subject: Another test checkin

---
 Source/Model/Model.cs | 1 -
 1 file changed, 1 deletion(-)

(limited to 'Source/Model')

diff --git a/Source/Model/Model.cs b/Source/Model/Model.cs
index 50a8f45c..06f680fa 100644
--- a/Source/Model/Model.cs
+++ b/Source/Model/Model.cs
@@ -776,6 +776,5 @@ namespace Microsoft.Boogie
       p.Run();
       return p.resModels;
     }
-
   }
 }
-- 
cgit v1.2.3