X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=snapshot-interface.cc;h=76cb8f4ea2635afc940fec658477840d9933dbc1;hb=977bc05c795281f164c11861de48b0b0e2111cae;hp=8971169786717cb84201208d565d152d7f80f7cc;hpb=7320a16b1a16bf1f803bc43856b24a94c0fb4c8e;p=model-checker.git

diff --git a/snapshot-interface.cc b/snapshot-interface.cc
index 8971169..76cb8f4 100644
--- a/snapshot-interface.cc
+++ b/snapshot-interface.cc
@@ -92,13 +92,13 @@ int snapshotStack::backTrackBeforeStep(int seqindex) {
 			return stack->index;
 		}
 		struct stackEntry *tmp=stack;
-		free(tmp);
+		MYFREE(tmp);
 		stack=stack->next;
 	}
 }
 
 void snapshotStack::snapshotStep(int seqindex) {
-	struct stackEntry *tmp=(struct stackEntry *)malloc(sizeof(struct stackEntry));
+	struct stackEntry *tmp=(struct stackEntry *)MYMALLOC(sizeof(struct stackEntry));
 	tmp->next=stack;
 	tmp->index=seqindex;
 	tmp->snapshotid=takeSnapshot();