diff options
author | wuestholz <unknown> | 2013-12-11 09:34:40 +0100 |
---|---|---|
committer | wuestholz <unknown> | 2013-12-11 09:34:40 +0100 |
commit | ec7c748e75361694d704b2eb6f93df920c39d6e4 (patch) | |
tree | 6213a2631aae41ae96684be328581ef8add748eb | |
parent | 195097dc1353946f524f2518453bd356a09f6681 (diff) |
Fix build failures due to changes in Boogie.
-rw-r--r-- | Source/DafnyDriver/DafnyDriver.cs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Source/DafnyDriver/DafnyDriver.cs b/Source/DafnyDriver/DafnyDriver.cs index b5414ba3..a6256580 100644 --- a/Source/DafnyDriver/DafnyDriver.cs +++ b/Source/DafnyDriver/DafnyDriver.cs @@ -164,7 +164,8 @@ namespace Microsoft.Dafny stats = new PipelineStatistics();
LinearTypeChecker ltc;
- PipelineOutcome oc = ExecutionEngine.ResolveAndTypecheck(program, bplFileName, out ltc);
+ MoverTypeChecker mtc;
+ PipelineOutcome oc = ExecutionEngine.ResolveAndTypecheck(program, bplFileName, out ltc, out mtc);
switch (oc) {
case PipelineOutcome.Done:
return oc;
@@ -181,7 +182,7 @@ namespace Microsoft.Dafny fileNames.Add(bplFileName);
Bpl.Program reparsedProgram = ExecutionEngine.ParseBoogieProgram(fileNames, true);
if (reparsedProgram != null) {
- ExecutionEngine.ResolveAndTypecheck(reparsedProgram, bplFileName, out ltc);
+ ExecutionEngine.ResolveAndTypecheck(reparsedProgram, bplFileName, out ltc, out mtc);
}
}
return oc;
|