fix one segfault bug...something is still strange, but has to do with stack
authorBrian Demsky <bdemsky@uci.edu>
Thu, 24 May 2012 19:09:39 +0000 (12:09 -0700)
committerBrian Demsky <bdemsky@uci.edu>
Thu, 24 May 2012 19:09:39 +0000 (12:09 -0700)
snapshot-interface.cc

index 8971169..76cb8f4 100644 (file)
@@ -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();