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

diff --git a/main.cc b/main.cc
index 6b9cb90..dc3f6f4 100644
--- a/main.cc
+++ b/main.cc
@@ -146,5 +146,5 @@ int main(int argc, char **argv)
 	redirect_output();
 
 	/* Let's jump in quickly and start running stuff */
-	initSnapshotLibrary(10000, 1024, 1024, 4000, &model_main);
+	snapshot_system_init(10000, 1024, 1024, 4000, &model_main);
 }