diff options
author | 2013-07-22 09:04:30 -0700 | |
---|---|---|
committer | 2013-07-22 09:04:30 -0700 | |
commit | b334b871622a102b5adbdb1cdee74befb0bdafd3 (patch) | |
tree | 067bd9400ecec99f30f495fd92e36d21152c35a3 /Source/DafnyExtension/ResolverTagger.cs | |
parent | ba44ef189a6f921e1fb54410653623c1e19a085a (diff) |
Fixed build failures due to changes in Boogie.
Diffstat (limited to 'Source/DafnyExtension/ResolverTagger.cs')
-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 e9a62e4c..c67935d2 100644 --- a/Source/DafnyExtension/ResolverTagger.cs +++ b/Source/DafnyExtension/ResolverTagger.cs @@ -488,7 +488,7 @@ namespace DafnyLanguage var locRegex = new Regex(@"\((\d+),(\d+)\)");
using (var rd = new StringReader(Model))
{
- var model = Microsoft.Boogie.Model.ParseModels(rd).ToArray();
+ var model = Microsoft.Boogie.Model.ParseModels(rd, null).ToArray();
Contract.Assert(model.Length == 1);
_stateSpans = model[0].States.Select(
cs =>
|