X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=snapshot.cc;fp=snapshot.cc;h=ce2b28fe3dc4cb0952ed9b11c8c79b923b71b021;hb=83d2c33c508986e2435d7a4bf0266c6bf234304e;hp=d73613832e867eb069b5f5288b72f95bc04c96ff;hpb=1b2081fd7a99dd894f75b8606073d3eae57a0013;p=c11tester.git

diff --git a/snapshot.cc b/snapshot.cc
index d7361383..ce2b28fe 100644
--- a/snapshot.cc
+++ b/snapshot.cc
@@ -385,10 +385,10 @@ static void fork_snapshot_init(unsigned int numbackingpages,
 	/* switch back here when takesnapshot is called */
 	snapshotid = fork_snap->currSnapShotID;
 	if (model->params.nofork) {
-	  setcontext(&fork_snap->shared_ctxt);
-	  exit(EXIT_SUCCESS);
+		setcontext(&fork_snap->shared_ctxt);
+		exit(EXIT_SUCCESS);
 	}
-	
+
 	while (true) {
 		pid_t forkedID;
 		fork_snap->currSnapShotID = snapshotid + 1;