X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=snapshot.cc;h=b889791d7965305c9a50ff8bdbf6e7d680b3c156;hb=f767539fdf7a145b4208be0c30d2fa1aa095e6db;hp=6d59e7be6f68cae62c018639d2deeaeb4c36d0c7;hpb=b85b57912810d5a9db0b214d957a843eb29b5e9d;p=model-checker.git

diff --git a/snapshot.cc b/snapshot.cc
index 6d59e7b..b889791 100644
--- a/snapshot.cc
+++ b/snapshot.cc
@@ -129,12 +129,12 @@ void createSharedMemory(){
 #endif
 
 
-/** The initSnapShotLibrary function initializes the Snapshot library.
+/** The initSnapshotLibrary function initializes the snapshot library.
  *  @param entryPoint the function that should run the program.
  */
 #if USE_MPROTECT_SNAPSHOT
 
-void initSnapShotLibrary(unsigned int numbackingpages,
+void initSnapshotLibrary(unsigned int numbackingpages,
 		unsigned int numsnapshots, unsigned int nummemoryregions,
 		unsigned int numheappages, VoidFuncPtr entryPoint) {
 	/* Setup a stack for our signal handler....  */
@@ -178,7 +178,7 @@ void initSnapShotLibrary(unsigned int numbackingpages,
 	entryPoint();
 }
 #else
-void initSnapShotLibrary(unsigned int numbackingpages,
+void initSnapshotLibrary(unsigned int numbackingpages,
 		unsigned int numsnapshots, unsigned int nummemoryregions,
 		unsigned int numheappages, VoidFuncPtr entryPoint) {
 	basemySpace=system_malloc((numheappages+1)*PAGESIZE);