[mc] Move the stack as field of SafetyChecker and CommDetChecker

[simgrid.git] / src / mc / mc_replay.h

diff --git a/src/mc/mc_replay.h b/src/mc/mc_replay.h
index 5dc957a..cfd41a6 100644 (file)
--- a/src/mc/mc_replay.h
+++ b/src/mc/mc_replay.h
@@ -9,7 +9,7 @@
 #ifndef SIMGRID_MC_REPLAY_H
 #define SIMGRID_MC_REPLAY_H
 
-#include <xbt/misc.h>
+#include <xbt/base.h>
 
 SG_BEGIN_DECL()