X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=snapshot-interface.cc;h=952d7906c984a75f32be66b45c11eed8ca105611;hb=322fd21c16209780d43872cc44bb68d38172eabc;hp=2ee01a46bb5442a15ac0302bf5390280b7a983c6;hpb=6a3cefc5fc5bcae7b7f94dd9e6199f6b3efdd76e;p=model-checker.git

diff --git a/snapshot-interface.cc b/snapshot-interface.cc
index 2ee01a4..952d790 100644
--- a/snapshot-interface.cc
+++ b/snapshot-interface.cc
@@ -77,7 +77,6 @@ void SnapshotGlobalSegments(){
 //declaration of constructor....
 snapshotStack::snapshotStack(){
   SnapshotGlobalSegments();
-  AddUserHeapToSnapshot();
   stack=NULL;
 }