update Makefile

[c11tester.git] / snapshot.cc

diff --git a/snapshot.cc b/snapshot.cc
index d73613832e867eb069b5f5288b72f95bc04c96ff..ce2b28fe3dc4cb0952ed9b11c8c79b923b71b021 100644 (file)
--- 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;