1 files changed, 1 insertions, 1 deletions
diff --git a/Source/VCGeneration/VC.ssc b/Source/VCGeneration/VC.ssc
index f5a57cf6..967d02c4 100644
--- a/Source/VCGeneration/VC.ssc
+++ b/Source/VCGeneration/VC.ssc
@@ -2061,7 +2061,7 @@ namespace VC
            int id = Int32.Parse(lop.label.Substring(prefix.Length + 1));
            Hashtable! label2absy = getLabel2absy();
            Absy cmd = label2absy[id] as Absy;
-           label2absy.Remove(id);
+           //label2absy.Remove(id);
            
            assert cmd != null;
            AssumeCmd acmd = cmd as AssumeCmd;