X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.cc;h=98df8f316106a5f4cce404f4cada60ee35c5898a;hb=d70f6f259c9850e5fceb527e3a9541c440c0146b;hp=84c42689425f257d594c969df0b758038001ab83;hpb=87d6ae25425840ccad0ef6edef6e279967e83be6;p=model-checker.git

diff --git a/model.cc b/model.cc
index 84c4268..98df8f3 100644
--- a/model.cc
+++ b/model.cc
@@ -159,7 +159,7 @@ void ModelChecker::reset_to_initial_state()
 	/* Print all model-checker output before rollback */
 	fflush(model_out);
 
-	snapshotObject->backTrackBeforeStep(0);
+	snapshot_backtrack_before(0);
 }
 
 /** @return a thread ID for a new Thread */