X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=snapshot.cc;h=2c7d84193e1feb21443696335603b951491be9af;hb=7f9bbee401eb5c04bd0a050c0daf19813e81a783;hp=642885b038df274b68eb028e7a25d5563b9f2ec6;hpb=f01c21655bce58ff70b0e8936f2579a7beeafad4;p=model-checker.git

diff --git a/snapshot.cc b/snapshot.cc
index 642885b..2c7d841 100644
--- a/snapshot.cc
+++ b/snapshot.cc
@@ -284,7 +284,7 @@ snapshot_id takeSnapshot( ){
  */
 void rollBack( snapshot_id theID ){
 #if USE_MPROTECT_SNAPSHOT
-	HashTable< void *, bool, uintptr_t, 4, model_malloc, MYCALLOC, MYFREE> duplicateMap;
+	HashTable< void *, bool, uintptr_t, 4, model_malloc, model_calloc, MYFREE> duplicateMap;
 	for(unsigned int region=0; region<snapshotrecord->lastRegion;region++) {
 		if( mprotect(snapshotrecord->regionsToSnapShot[region].basePtr, snapshotrecord->regionsToSnapShot[region].sizeInPages*sizeof(struct SnapShotPage), PROT_READ | PROT_WRITE ) == -1 ){
 			perror("mprotect");