diff options
| -rw-r--r-- | Source/DafnyExtension/ResolverTagger.cs | 2 |
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];
}
|