summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Source/DafnyExtension/ResolverTagger.cs2
1 files changed, 1 insertions, 1 deletions
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];
}