From ec7c748e75361694d704b2eb6f93df920c39d6e4 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Wed, 11 Dec 2013 09:34:40 +0100
Subject: Fix build failures due to changes in Boogie.

---
 Source/DafnyDriver/DafnyDriver.cs | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'Source/DafnyDriver')

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;
-- 
cgit v1.2.3