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)) {