Fix the build.

1 files changed, 3 insertions, 3 deletions

diff --git a/Source/DafnyDriver/DafnyDriver.cs b/Source/DafnyDriver/DafnyDriver.cs
index c45d66fc..8282edc7 100644
--- a/Source/DafnyDriver/DafnyDriver.cs
+++ b/Source/DafnyDriver/DafnyDriver.cs
@@ -226,8 +226,8 @@ namespace Microsoft.Dafny
 

       stats = new PipelineStatistics();

       LinearTypeChecker ltc;

-      MoverTypeChecker mtc;

-      PipelineOutcome oc = ExecutionEngine.ResolveAndTypecheck(program, bplFileName, out ltc, out mtc);

+      CivlTypeChecker ctc;

+      PipelineOutcome oc = ExecutionEngine.ResolveAndTypecheck(program, bplFileName, out ltc, out ctc);

       switch (oc) {

         case PipelineOutcome.Done:

           return oc;

@@ -244,7 +244,7 @@ namespace Microsoft.Dafny
             fileNames.Add(bplFileName);

             Bpl.Program reparsedProgram = ExecutionEngine.ParseBoogieProgram(fileNames, true);

             if (reparsedProgram != null) {

-              ExecutionEngine.ResolveAndTypecheck(reparsedProgram, bplFileName, out ltc, out mtc);

+              ExecutionEngine.ResolveAndTypecheck(reparsedProgram, bplFileName, out ltc, out ctc);

             }

           }

           return oc;