From 32b3e5cb6df162ff15a79a6f82070c23e727c920 Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Sat, 12 Dec 2020 13:39:11 +0100 Subject: [PATCH] Typo in function name. --- src/mc/checker/LivenessChecker.cpp | 2 +- src/mc/mc_api.cpp | 2 +- src/mc/mc_api.hpp | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/mc/checker/LivenessChecker.cpp b/src/mc/checker/LivenessChecker.cpp index 0a5e5d992f..53b26726d8 100644 --- 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 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 c6286ddf49..4b4ce551f0 100644 --- a/src/mc/mc_api.cpp +++ b/src/mc/mc_api.cpp @@ -869,7 +869,7 @@ std::vector mc_api::get_automaton_state() const return automaton_stack; } -int mc_api::compare_automaton_exp_lable(const xbt_automaton_exp_label* l, std::vector const& values) const +int mc_api::compare_automaton_exp_label(const xbt_automaton_exp_label* l, std::vector 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 4606f75556..27618ae8d2 100644 --- a/src/mc/mc_api.hpp +++ b/src/mc/mc_api.hpp @@ -123,7 +123,7 @@ public: #endif std::vector automaton_propositional_symbol_evaluate() const; std::vector get_automaton_state() const; - int compare_automaton_exp_lable(const xbt_automaton_exp_label* l, std::vector const& values) const; + int compare_automaton_exp_label(const xbt_automaton_exp_label* l, std::vector const& values) const; void set_property_automaton(xbt_automaton_state_t const& automaton_state) const; inline DerefAndCompareByActorsCountAndUsedHeap compare_pair() const { return DerefAndCompareByActorsCountAndUsedHeap(); -- 2.20.1