Merge branch 'master' of git+ssh://scm.gforge.inria.fr/gitroot/simgrid/simgrid

[simgrid.git] / src / surf / trace_mgr_private.h

diff --git a/src/surf/trace_mgr_private.h b/src/surf/trace_mgr_private.h
index d5b43de..4611c81 100644 (file)
--- a/src/surf/trace_mgr_private.h
+++ b/src/surf/trace_mgr_private.h
@@ -52,6 +52,7 @@ typedef struct tmgr_trace {
     } s_list;
     struct {
       probabilist_event_generator_t event_generator[2];
+      int is_state_trace;
       int next_event;
     } s_probabilist;
   };