datarace: make globals static

[model-checker.git] / datarace.cc

diff --git a/datarace.cc b/datarace.cc
index 9f75642e27a5a670d30e0c9284e6162cfa8047de..5f007f36522754960db4c4588c80ee75c2a49ad5 100644 (file)
--- a/datarace.cc
+++ b/datarace.cc
@@ -8,10 +8,10 @@
 #include "config.h"
 #include "action.h"
 
-struct ShadowTable *root;
+static struct ShadowTable *root;
 SnapVector<struct DataRace *> unrealizedraces;
-void *memory_base;
-void *memory_top;
+static void *memory_base;
+static void *memory_top;
 
 
 /** This function initialized the data race detector. */