diff options
| -rw-r--r-- | Source/DafnyDriver/DafnyDriver.cs | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/Source/DafnyDriver/DafnyDriver.cs b/Source/DafnyDriver/DafnyDriver.cs index bb223f54..4358eab9 100644 --- a/Source/DafnyDriver/DafnyDriver.cs +++ b/Source/DafnyDriver/DafnyDriver.cs @@ -272,10 +272,6 @@ namespace Microsoft.Dafny // TODO(wuestholz): Use the definition in the Boogie driver.
- enum PipelineOutcome { Done, ResolutionError, TypeCheckingError, ResolvedAndTypeChecked, FatalError, VerificationCompleted }
-
-
- // TODO(wuestholz): Use the definition in the Boogie driver.
/// <summary>
/// Resolves and type checks the given Boogie program. Any errors are reported to the
/// console. Returns:
|