Did some refactoring of the Dafny drivers.

1 files changed, 1 insertions, 2 deletions

diff --git a/Source/DafnyDriver/DafnyDriver.cs b/Source/DafnyDriver/DafnyDriver.cs
index 5d22c30c..b1f9d642 100644
--- a/Source/DafnyDriver/DafnyDriver.cs
+++ b/Source/DafnyDriver/DafnyDriver.cs
@@ -16,7 +16,6 @@ namespace Microsoft.Dafny
   using System.Diagnostics.Contracts;

   using System.IO;

   using Microsoft.Boogie;

-  using VC;

   using Bpl = Microsoft.Boogie;

 

   public class DafnyDriver

@@ -24,6 +23,7 @@ namespace Microsoft.Dafny
 

     enum ExitValue { VERIFIED = 0, PREPROCESSING_ERROR, DAFNY_ERROR, NOT_VERIFIED }

 

+

     public static int Main(string[] args)

     {

       Contract.Requires(cce.NonNullElements(args));

@@ -33,7 +33,6 @@ namespace Microsoft.Dafny
 

       DafnyOptions.Install(new DafnyOptions());

 

-      //assert forall{int i in (0:args.Length); args[i] != null};

       ExitValue exitValue = ExitValue.VERIFIED;

       CommandLineOptions.Clo.RunningBoogieFromCommandLine = true;

       if (!CommandLineOptions.Clo.Parse(args)) {