[mc] Remove standalone mode and remove MC_do_the_modelcheck_for_real()

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

diff --git a/src/mc/mc_model_checker.cpp b/src/mc/mc_model_checker.cpp
index 45b13b2..0484dd2 100644 (file)
--- a/src/mc/mc_model_checker.cpp
+++ b/src/mc/mc_model_checker.cpp
@@ -33,9 +33,6 @@ void MC_model_checker_delete(mc_model_checker_t mc)
 
 unsigned long MC_smx_get_maxpid(void)
 {
-  if (mc_mode == MC_MODE_STANDALONE)
-    return simix_process_maxpid;
-
   unsigned long maxpid;
   MC_process_read_variable(&mc_model_checker->process, "simix_process_maxpid",
     &maxpid, sizeof(maxpid));