Did some refactoring of the Dafny drivers.

1 files changed, 1 insertions, 2 deletions

diff --git a/Source/DafnyExtension/DafnyDriver.cs b/Source/DafnyExtension/DafnyDriver.cs
index d9090dc5..d8308688 100644
--- a/Source/DafnyExtension/DafnyDriver.cs
+++ b/Source/DafnyExtension/DafnyDriver.cs
@@ -11,6 +11,7 @@ using Bpl = Microsoft.Boogie;
 using Dafny = Microsoft.Dafny;

 using Microsoft.Boogie.AbstractInterpretation;

 using VC;

+using Core;

 // using AI = Microsoft.AbstractInterpretationFramework;

 

 

@@ -207,8 +208,6 @@ namespace DafnyLanguage
       }

     }

 

-    enum PipelineOutcome { Done, ResolutionError, TypeCheckingError, ResolvedAndTypeChecked, FatalError, VerificationCompleted }

-

     /// <summary>

     /// Resolve, type check, infer invariants for, and verify the given Boogie program.

     /// The intention is that this Boogie program has been produced by translation from something