From 59159f3c829439dc50bff075e695b966def65a44 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Sun, 28 Sep 2014 12:04:38 +0200
Subject: DafnyExtension: minor change due to change in Boogie

---
 Source/DafnyExtension/ResolverTagger.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Source/DafnyExtension')

diff --git a/Source/DafnyExtension/ResolverTagger.cs b/Source/DafnyExtension/ResolverTagger.cs
index f0acc279..1fdd3827 100644
--- a/Source/DafnyExtension/ResolverTagger.cs
+++ b/Source/DafnyExtension/ResolverTagger.cs
@@ -499,7 +499,7 @@ namespace DafnyLanguage
         {
           using (var rd = new StringReader(ModelText))
           {
-            var models = Microsoft.Boogie.Model.ParseModels(rd, null).ToArray();
+            var models = Microsoft.Boogie.Model.ParseModels(rd).ToArray();
             Contract.Assert(models.Length == 1);
             _model = models[0];
           }
-- 
cgit v1.2.3