Declare functions "const" (sonar).

[simgrid.git] / src / mc / explo / LivenessChecker.hpp

diff --git a/src/mc/explo/LivenessChecker.hpp b/src/mc/explo/LivenessChecker.hpp
index 7d4843d53f1849329f25111d881e77b4a865b6a6..a9008f9f0281e7c9aa25ad91cf17ad4cb7f9b437 100644 (file)
--- a/src/mc/explo/LivenessChecker.hpp
+++ b/src/mc/explo/LivenessChecker.hpp
@@ -93,7 +93,7 @@ private:
   bool evaluate_label(const xbt_automaton_exp_label* l, std::vector<int> const& values);
 
 public:
-  void automaton_load(const char* file);
+  void automaton_load(const char* file) const;
   std::vector<int> automaton_propositional_symbol_evaluate() const;
   std::vector<xbt_automaton_state_t> get_automaton_state() const;
   int compare_automaton_exp_label(const xbt_automaton_exp_label* l) const;