diff options
| author |  wuestholz <unknown> | 2013-10-28 09:05:26 +0100 |
|---|---|---|
| committer | wuestholz <unknown> | 2013-10-28 09:05:26 +0100 |
| commit | 0975663860053e1ed568b971abb1e0d25cc48f3a (patch) | |
| tree | f90fc5d40734b9e2462caf36b9352b8e126d34fa /Source/DafnyDriver | |
| parent | 93f39937033c93e1a09b4cdc08f5f0d8e13ede1c (diff) | |
Fixed build failure due to changes in Boogie.
Diffstat (limited to 'Source/DafnyDriver')
| -rw-r--r-- | Source/DafnyDriver/DafnyDriver.cs | 2 |
1 files changed, 1 insertions, 1 deletions
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:
|