snapshot: more renaming

[model-checker.git] / snapshot.cc

diff --git a/snapshot.cc b/snapshot.cc
index 16b0b616e3ebca00a453d8d0903ddcb2e2838711..fb1f911557e09345ed7b8299e19d6edce97eb399 100644 (file)
--- 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)
 {