[mc] Move mc_liveness code in simgrid::mc

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

diff --git a/src/mc/simgrid_mc.cpp b/src/mc/simgrid_mc.cpp
index 8b7962b..04112ca 100644 (file)
--- a/src/mc/simgrid_mc.cpp
+++ b/src/mc/simgrid_mc.cpp
@@ -175,7 +175,7 @@ int main(int argc, char** argv)
     else if (!_sg_mc_property_file || _sg_mc_property_file[0] == '\0')
       res = MC_modelcheck_safety();
     else
-      res = MC_modelcheck_liveness();
+      res = simgrid::mc::modelcheck_liveness();
     mc_model_checker->shutdown();
     return res;
   }