model-checker : ignore some variables enabled with tracing, and variables about excep...

[simgrid.git] / src / simix / smx_process.c

diff --git a/src/simix/smx_process.c b/src/simix/smx_process.c
index 6a3ca37..657c817 100644 (file)
--- a/src/simix/smx_process.c
+++ b/src/simix/smx_process.c
@@ -710,8 +710,6 @@ void SIMIX_process_yield(smx_process_t self)
     SMX_THROW();
   }
 
-  if(MC_is_active())
-    MC_ignore_stack("ctx", "SIMIX_process_yield");
 }
 
 /* callback: context fetching */