Implement TestAnyTransition

[simgrid.git] / src / mc / mc_global.cpp

diff --git a/src/mc/mc_global.cpp b/src/mc/mc_global.cpp
index 481a7fecebf81481530f8fbaf6f556743dac7220..423dd14d490d7582afe9ac5357dad808fbebf7df 100644 (file)
--- a/src/mc/mc_global.cpp
+++ b/src/mc/mc_global.cpp
@@ -79,14 +79,6 @@ void MC_run()
   simgrid::mc::AppSide::get()->main_loop();
 }
 
-void MC_automaton_load(const char *file)
-{
-  if (simgrid::mc::property_automaton == nullptr)
-    simgrid::mc::property_automaton = xbt_automaton_new();
-
-  xbt_automaton_load(simgrid::mc::property_automaton, file);
-}
-
 namespace simgrid {
 namespace mc {