X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=snapshot.cc;h=f129f4cc31da565aeed8bfd0b2a5d1f4b063e8a5;hb=85683f798e0955c43cf6cd8099713c45d9ce882b;hp=b889791d7965305c9a50ff8bdbf6e7d680b3c156;hpb=e00292b5adf2b85eb1c6e2399159b5c28fde48eb;p=model-checker.git

diff --git a/snapshot.cc b/snapshot.cc
index b889791..f129f4c 100644
--- a/snapshot.cc
+++ b/snapshot.cc
@@ -283,7 +283,7 @@ snapshot_id takeSnapshot( ){
  *  @param theID is the snapshot identifier to rollback to.
  */
 void rollBack( snapshot_id theID ){
-#if USE_MPOTECT_SNAPSHOT==2
+#if USE_MPROTECT_SNAPSHOT==2
 	if (snapshotrecord->lastSnapShot==(theID+1)) {
 		for(unsigned int page=snapshotrecord->snapShots[theID].firstBackingPage; page<snapshotrecord->lastBackingPage; page++) {
 			memcpy(snapshotrecord->backingRecords[page].basePtrOfPage, &snapshotrecord->backingStore[page], sizeof(struct SnapShotPage));