1 files changed, 1 insertions, 7 deletions
diff --git a/Source/DafnyDriver/DafnyDriver.cs b/Source/DafnyDriver/DafnyDriver.cs
index 39733c8e..80f78d16 100644
--- a/Source/DafnyDriver/DafnyDriver.cs
+++ b/Source/DafnyDriver/DafnyDriver.cs
@@ -571,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)
       {