diff options
| author |  wuestholz <unknown> | 2014-09-28 12:04:38 +0200 |
|---|---|---|
| committer | wuestholz <unknown> | 2014-09-28 12:04:38 +0200 |
| commit | 59159f3c829439dc50bff075e695b966def65a44 (patch) | |
| tree | 6b012d086f5d136bba30ef4a747fd3b0478a4289 /Source/DafnyExtension | |
| parent | b0b5b9e84743dab8285f92bb0318415f6b202030 (diff) | |
DafnyExtension: minor change due to change in Boogie
Diffstat (limited to 'Source/DafnyExtension')
| -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];
}
|