Typo in function name.

diff --git a/src/mc/checker/LivenessChecker.cpp b/src/mc/checker/LivenessChecker.cpp
index 0a5e5d9..53b2672 100644 (file)
--- a/src/mc/checker/LivenessChecker.cpp
+++ b/src/mc/checker/LivenessChecker.cpp
@@ -48,7 +48,7 @@ static bool evaluate_label(const xbt_automaton_exp_label* l, std::vector<int> co
   case xbt_automaton_exp_label::AUT_NOT:
     return not evaluate_label(l->u.exp_not, values);
   case xbt_automaton_exp_label::AUT_PREDICAT:{
-      auto cursor = mcapi::get().compare_automaton_exp_lable(l, values);
+      auto cursor = mcapi::get().compare_automaton_exp_label(l, values);
       if(cursor >= 0)
         return values[cursor] != 0;
       xbt_die("Missing predicate");

diff --git a/src/mc/mc_api.cpp b/src/mc/mc_api.cpp
index c6286dd..4b4ce55 100644 (file)
--- a/src/mc/mc_api.cpp
+++ b/src/mc/mc_api.cpp
@@ -869,7 +869,7 @@ std::vector<xbt_automaton_state_t> mc_api::get_automaton_state() const
   return automaton_stack;
 }
 
-int mc_api::compare_automaton_exp_lable(const xbt_automaton_exp_label* l, std::vector<int> const& values) const
+int mc_api::compare_automaton_exp_label(const xbt_automaton_exp_label* l, std::vector<int> const& values) const
 {
   unsigned int cursor = 0;
   xbt_automaton_propositional_symbol_t p = nullptr;

diff --git a/src/mc/mc_api.hpp b/src/mc/mc_api.hpp
index 4606f75..27618ae 100644 (file)
--- a/src/mc/mc_api.hpp
+++ b/src/mc/mc_api.hpp
@@ -123,7 +123,7 @@ public:
   #endif
   std::vector<int> automaton_propositional_symbol_evaluate() const;
   std::vector<xbt_automaton_state_t> get_automaton_state() const;
-  int compare_automaton_exp_lable(const xbt_automaton_exp_label* l, std::vector<int> const& values) const;
+  int compare_automaton_exp_label(const xbt_automaton_exp_label* l, std::vector<int> const& values) const;
   void set_property_automaton(xbt_automaton_state_t const& automaton_state) const;
   inline DerefAndCompareByActorsCountAndUsedHeap compare_pair() const {
     return DerefAndCompareByActorsCountAndUsedHeap();