1 files changed, 0 insertions, 8 deletions
diff --git a/Source/ExecutionEngine/ExecutionEngine.cs b/Source/ExecutionEngine/ExecutionEngine.cs
index d9046b17..0f188ec0 100644
--- a/Source/ExecutionEngine/ExecutionEngine.cs
+++ b/Source/ExecutionEngine/ExecutionEngine.cs
@@ -465,14 +465,6 @@ namespace Microsoft.Boogie
         if (oc != PipelineOutcome.ResolvedAndTypeChecked)
           return;
 
-        // Do bitvector analysis
-        if (CommandLineOptions.Clo.DoBitVectorAnalysis)
-        {
-          Microsoft.Boogie.BitVectorAnalysis.DoBitVectorAnalysis(program);
-          PrintBplFile(CommandLineOptions.Clo.BitVectorAnalysisOutputBplFile, program, false);
-          return;
-        }
-
         if (CommandLineOptions.Clo.PrintCFGPrefix != null)
         {
           foreach (var impl in program.TopLevelDeclarations.OfType<Implementation>())