Make sure that the dtor of CheckerSide actually kills the application and waits for it

[simgrid.git] / src / mc / explo / Exploration.cpp

diff --git a/src/mc/explo/Exploration.cpp b/src/mc/explo/Exploration.cpp
index bafc79d..6be979e 100644 (file)
--- a/src/mc/explo/Exploration.cpp
+++ b/src/mc/explo/Exploration.cpp
@@ -116,7 +116,6 @@ void Exploration::report_assertion_failure()
 
 void Exploration::system_exit(int status)
 {
-  get_remote_app().shutdown();
   ::exit(status);
 }