Cleaner detection of using model-checking.

[simgrid.git] / src / simix / private.h

diff --git a/src/simix/private.h b/src/simix/private.h
index 34cac50..3ac7fd1 100644 (file)
--- a/src/simix/private.h
+++ b/src/simix/private.h
@@ -22,13 +22,11 @@
 #include "smurf_private.h"
 #include "synchro_private.h"
 
-extern int _surf_do_model_check;
-
 /********************************** Simix Global ******************************/
 
 typedef struct s_smx_context_factory *smx_context_factory_t;
 
-typedef struct SIMIX_Global {
+typedef struct s_smx_global {
   smx_context_factory_t context_factory;
   xbt_dict_t host;
   xbt_swag_t process_to_run;
@@ -42,9 +40,9 @@ typedef struct SIMIX_Global {
 #ifdef HAVE_LATENCY_BOUND_TRACKING
   xbt_dict_t latency_limited_dict;
 #endif
-} s_SIMIX_Global_t, *SIMIX_Global_t;
+} s_smx_global_t, *smx_global_t;
 
-extern SIMIX_Global_t simix_global;
+extern smx_global_t simix_global;
 
 
 /*********************************** Time ************************************/