Free xbt_automaton on Api::s_close.

diff --git a/src/mc/api.cpp b/src/mc/api.cpp
index 8ac88e5..fcb42d8 100644 (file)
--- a/src/mc/api.cpp
+++ b/src/mc/api.cpp
@@ -176,6 +176,10 @@ simgrid::mc::Snapshot* Api::take_snapshot(long num_state) const
 void Api::s_close() const
 {
   session_singleton->close();
+  if (simgrid::mc::property_automaton != nullptr) {
+    xbt_automaton_free(simgrid::mc::property_automaton);
+    simgrid::mc::property_automaton = nullptr;
+  }
 }
 
 void Api::automaton_load(const char* file) const