Boogie: Bug fix for stratified inlining

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;