Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Don't define variables in header files (part 2).
[simgrid.git] / src / mc / mc_global.c
index 1af07a9..476c4d4 100644 (file)
@@ -59,6 +59,7 @@ mc_state_t mc_current_state = NULL;
 char mc_replay_mode = FALSE;
 double *mc_time = NULL;
 mc_snapshot_t initial_snapshot = NULL;
+int raw_mem_set;
 
 /* Safety */