From 01bcdf570c06d71a9a6daa471733915fef91bb1f Mon Sep 17 00:00:00 2001
From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Fri, 16 Nov 2012 09:44:32 +0100
Subject: [PATCH 1/1] forget to apply cleanups in MC on SMPI (separate
 MC_modelcheck for safety and liveness)

---
 src/smpi/smpi_global.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/smpi/smpi_global.c b/src/smpi/smpi_global.c
index 1baf3ea86b..4ee0b812e9 100644
--- a/src/smpi/smpi_global.c
+++ b/src/smpi/smpi_global.c
@@ -349,7 +349,7 @@ int smpi_main(int (*realmain) (int argc, char *argv[]),int argc, char *argv[])
   fflush(stderr);
 
   if (MC_is_active())
-    MC_modelcheck();
+    MC_modelcheck_safety();
   else
     SIMIX_run();
 
-- 
2.20.1