1 files changed, 0 insertions, 8 deletions
diff --git a/Source/VCGeneration/VC.cs b/Source/VCGeneration/VC.cs
index 4e7dbef0..19418b46 100644
--- a/Source/VCGeneration/VC.cs
+++ b/Source/VCGeneration/VC.cs
@@ -2320,14 +2320,6 @@ namespace VC {
       storeIncarnationMaps(impl.Name, exitIncarnationMap);
       #endregion
             
-      if (CommandLineOptions.Clo.LiveVariableAnalysis == 1) {
-        Microsoft.Boogie.LiveVariableAnalysis.ClearLiveVariables(impl);
-      } 
-      // TODO: fix
-      //else if (CommandLineOptions.Clo.LiveVariableAnalysis == 2) {
-      //  Microsoft.Boogie.InterProcGenKill.ClearLiveVariables(impl, program);
-      //}
-      
       #region Peep-hole optimizations
       if (CommandLineOptions.Clo.RemoveEmptyBlocks){
         #region Get rid of empty blocks