From 0975663860053e1ed568b971abb1e0d25cc48f3a Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Mon, 28 Oct 2013 09:05:26 +0100
Subject: Fixed build failure due to changes in Boogie.

---
 Source/DafnyDriver/DafnyDriver.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Source/DafnyDriver')

diff --git a/Source/DafnyDriver/DafnyDriver.cs b/Source/DafnyDriver/DafnyDriver.cs
index 81662b5d..a2b5aa0b 100644
--- a/Source/DafnyDriver/DafnyDriver.cs
+++ b/Source/DafnyDriver/DafnyDriver.cs
@@ -163,7 +163,7 @@ namespace Microsoft.Dafny
       Contract.Ensures(0 <= Contract.ValueAtReturn(out stats).InconclusiveCount && 0 <= Contract.ValueAtReturn(out stats).TimeoutCount);
 
       stats = new PipelineStatistics();
-      LinearTypechecker ltc;
+      LinearTypeChecker ltc;
       PipelineOutcome oc = ExecutionEngine.ResolveAndTypecheck(program, bplFileName, out ltc);
       switch (oc) {
         case PipelineOutcome.Done:
-- 
cgit v1.2.3