Remove the stateful model-checking from the archive. It's not working anymore

[simgrid.git] / src / kernel / context / ContextUnix.cpp

diff --git a/src/kernel/context/ContextUnix.cpp b/src/kernel/context/ContextUnix.cpp
index 98e372d..2061a25 100644 (file)
--- a/src/kernel/context/ContextUnix.cpp
+++ b/src/kernel/context/ContextUnix.cpp
@@ -60,11 +60,6 @@ UContext::UContext(std::function<void()>&& code, actor::ActorImpl* actor, Swappe
     UContext* arg = this;
     memcpy(ctx_addr, &arg, sizeof arg);
     makecontext(&this->uc_, (void (*)())sysv_ctx_wrapper, 2, ctx_addr[0], ctx_addr[1]);
-
-#if SIMGRID_HAVE_STATEFUL_MC
-    if (MC_is_active())
-      simgrid::mc::AppSide::get()->declare_stack(get_stack(), stack_size, &uc_);
-#endif
   }
 }