model-checker : rename file mc_dfs -> mc_liveness

[simgrid.git] / tools / gras / gras_stub_generator.h

diff --git a/tools/gras/gras_stub_generator.h b/tools/gras/gras_stub_generator.h
index 189f7b6..e50590f 100644 (file)
--- a/tools/gras/gras_stub_generator.h
+++ b/tools/gras/gras_stub_generator.h
@@ -15,16 +15,16 @@
 
 #include "xbt/dynar.h"
 #include "xbt/dict.h"
-xbt_dict_t process_function_set;
-xbt_dynar_t process_list;
-xbt_dict_t machine_set;
+extern xbt_dict_t process_function_set;
+extern xbt_dynar_t process_list;
+extern xbt_dict_t machine_set;
+extern char *warning;
 
 typedef struct s_process_t {
   int argc;
   char **argv;
   char *host;
 } s_process_t;
-char *warning;
 
 void s_process_free(void *process);