X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/3690ed44d179e57962bb0f4e377057314cd79455..345fcae28e91f3e15ad223312fc74ad585606f34:/src/mc/explo/simgrid_mc.cpp

diff --git a/src/mc/explo/simgrid_mc.cpp b/src/mc/explo/simgrid_mc.cpp
index df448575f2..bcbe09c93f 100644
--- a/src/mc/explo/simgrid_mc.cpp
+++ b/src/mc/explo/simgrid_mc.cpp
@@ -71,6 +71,7 @@ int main(int argc, char** argv)
   int res      = SIMGRID_MC_EXIT_SUCCESS;
   std::unique_ptr<simgrid::mc::Exploration> checker{
       simgrid::mc::Api::get().initialize(argv_copy.data(), environment, algo)};
+
   try {
     checker->run();
   } catch (const simgrid::mc::DeadlockError&) {
@@ -80,6 +81,5 @@ int main(int argc, char** argv)
   } catch (const simgrid::mc::LivenessError&) {
     res = SIMGRID_MC_EXIT_LIVENESS;
   }
-  simgrid::mc::Api::get().s_close();
   return res;
 }