1 files changed, 1 insertions, 11 deletions
diff --git a/Source/DafnyDriver/DafnyDriver.cs b/Source/DafnyDriver/DafnyDriver.cs
index 64f5fbbb..80f78d16 100644
--- a/Source/DafnyDriver/DafnyDriver.cs
+++ b/Source/DafnyDriver/DafnyDriver.cs
@@ -22,7 +22,6 @@ namespace Microsoft.Dafny
   using System.Diagnostics;
   using VC;
   using System.CodeDom.Compiler;
-  using AI = Microsoft.AbstractInterpretationFramework;
 
   public class DafnyDriver
   {
@@ -536,9 +535,6 @@ namespace Microsoft.Dafny
       if (CommandLineOptions.Clo.UseAbstractInterpretation) {
         if (CommandLineOptions.Clo.Ai.J_Intervals || CommandLineOptions.Clo.Ai.J_Trivial) {
           Microsoft.Boogie.AbstractInterpretation.NativeAbstractInterpretation.RunAbstractInterpretation(program);
-        } else if (CommandLineOptions.Clo.Ai.AnySet) {
-          // run one of the old domains
-          Microsoft.Boogie.AbstractInterpretation.AbstractInterpretation.RunAbstractInterpretation(program);
         } else {
           // use /infer:j as the default
           CommandLineOptions.Clo.Ai.J_Intervals = true;
@@ -575,13 +571,7 @@ namespace Microsoft.Dafny
       ConditionGeneration vcgen = null;
       try
       {
-        if (CommandLineOptions.Clo.vcVariety == CommandLineOptions.VCVariety.Doomed)
-        {
-          vcgen = new DCGen(program, CommandLineOptions.Clo.SimplifyLogFilePath, CommandLineOptions.Clo.SimplifyLogFileAppend);
-        } else
-        {
-          vcgen = new VCGen(program, CommandLineOptions.Clo.SimplifyLogFilePath, CommandLineOptions.Clo.SimplifyLogFileAppend);
-        }
+        vcgen = new VCGen(program, CommandLineOptions.Clo.SimplifyLogFilePath, CommandLineOptions.Clo.SimplifyLogFileAppend);
       }
       catch (ProverException e)
       {