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

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);
 }