[mc] Remove FunctionalChecker

[simgrid.git] / src / mc / mc_smx.cpp

diff --git a/src/mc/mc_smx.cpp b/src/mc/mc_smx.cpp
index 78f86fe..3f6102f 100644 (file)
--- a/src/mc/mc_smx.cpp
+++ b/src/mc/mc_smx.cpp
@@ -7,8 +7,9 @@
 #include <cassert>
 #include <cstdlib>
 
+#include <vector>
+
 #include <xbt/log.h>
-#include <xbt/dynar.h>
 #include <xbt/str.h>
 #include <xbt/swag.h>
 
@@ -76,7 +77,6 @@ namespace mc {
 
 void Process::refresh_simix()
 {
-  xbt_assert(mc_mode == MC_MODE_SERVER);
   if (this->cache_flags_ & Process::cache_simix_processes)
     return;