X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=datarace.cc;fp=datarace.cc;h=5f007f36522754960db4c4588c80ee75c2a49ad5;hp=9f75642e27a5a670d30e0c9284e6162cfa8047de;hb=765b77b9d1dff55d4f43b03c5aef52e514a8a4cf;hpb=5d806b4bc80d6df106c78f47b336ef9d2aad7f3d

diff --git a/datarace.cc b/datarace.cc
index 9f75642..5f007f3 100644
--- 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. */