X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=snapshot.cc;fp=snapshot.cc;h=fb1f911557e09345ed7b8299e19d6edce97eb399;hb=89a750a6ec0a040f73d3291e6791b3d142123f25;hp=16b0b616e3ebca00a453d8d0903ddcb2e2838711;hpb=64fa7349d52d41bde86c8e07ddc157a1e50a1384;p=model-checker.git

diff --git a/snapshot.cc b/snapshot.cc
index 16b0b61..fb1f911 100644
--- a/snapshot.cc
+++ b/snapshot.cc
@@ -398,10 +398,11 @@ static void fork_roll_back(snapshot_id theID)
 
 #endif /* !USE_MPROTECT_SNAPSHOT */
 
-/** The initSnapshotLibrary function initializes the snapshot library.
- *  @param entryPoint the function that should run the program.
+/**
+ * @brief Initializes the snapshot system
+ * @param entryPoint the function that should run the program.
  */
-void initSnapshotLibrary(unsigned int numbackingpages,
+void snapshot_system_init(unsigned int numbackingpages,
 		unsigned int numsnapshots, unsigned int nummemoryregions,
 		unsigned int numheappages, VoidFuncPtr entryPoint)
 {