snapshot-interface: don't export SnapshotGlobalSegments()

[model-checker.git] / snapshot-interface.cc

diff --git a/snapshot-interface.cc b/snapshot-interface.cc
index c88e65ae5a5d4a0b35a9bbd9eebd5b0744442bfb..baedf4753a806b5ac47b8079f9227dba4bce3706 100644 (file)
--- 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;