X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=snapshot-interface.cc;h=baedf4753a806b5ac47b8079f9227dba4bce3706;hb=ebab3e51073b1534ba5d9ce944568d933d16fb3d;hp=c88e65ae5a5d4a0b35a9bbd9eebd5b0744442bfb;hpb=7bec9f8bcc8c63a0be2b31f8aa01a61a50afe4f9;p=model-checker.git

diff --git a/snapshot-interface.cc b/snapshot-interface.cc
index c88e65a..baedf47 100644
--- a/snapshot-interface.cc
+++ b/snapshot-interface.cc
@@ -25,8 +25,7 @@ SnapshotStack * snapshotObject;
  *	that may contain globals and then configures the snapshotting
  *	library to snapshot them.
  */
-
-void SnapshotGlobalSegments(){
+static void SnapshotGlobalSegments(){
 	int pid = getpid();
 	char buf[9000], execname[100];
 	FILE *map;
@@ -75,7 +74,7 @@ void SnapshotGlobalSegments(){
  *	that may contain globals and then configures the snapshotting
  *	library to snapshot them.
  */
-void SnapshotGlobalSegments(){
+static void SnapshotGlobalSegments(){
 	int pid = getpid();
 	char buf[9000], filename[100];
 	FILE *map;