-#if SIMGRID_HAVE_MC
- xbt_assert(mc_model_checker == nullptr);
- simgrid::mc::AppSide::get()->unignore_heap(address, size);
+#if SIMGRID_HAVE_STATEFUL_MC
+ xbt_assert(get_model_checking_mode() != ModelCheckingMode::CHECKER_SIDE,
+ "This should be called from the client side");
+ if (MC_is_active())
+ AppSide::get()->unignore_heap(address, size);