X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=main.cc;h=6b9cb9054e7819496c9a9c6f8d652a45d6754abd;hb=260b391c9292c9eb48da1033bf4ac1c32ea49f87;hp=a1115721436706f2007d23cd7fc4c4733f09c28f;hpb=bb39508b2f65c261a703ad38cf16f6cdd590e67d;p=model-checker.git

diff --git a/main.cc b/main.cc
index a111572..6b9cb90 100644
--- a/main.cc
+++ b/main.cc
@@ -123,11 +123,10 @@ static void model_main()
 	//Initialize race detector
 	initRaceDetector();
 
-	//Create the singleton SnapshotStack object
-	snapshotObject = new SnapshotStack();
+	snapshot_stack_init();
 
 	model = new ModelChecker(params);
-	snapshotObject->snapshotStep(0);
+	snapshot_record(0);
 	model->run();
 	delete model;