Add first unit tests for topological sorting

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

diff --git a/src/mc/explo/LivenessChecker.hpp b/src/mc/explo/LivenessChecker.hpp
index 7d4843d53f1849329f25111d881e77b4a865b6a6..50307cacd1dad9b692f4321b9655a08be2320c3d 100644 (file)
--- a/src/mc/explo/LivenessChecker.hpp
+++ b/src/mc/explo/LivenessChecker.hpp
@@ -1,4 +1,4 @@
-/* Copyright (c) 2007-2022. The SimGrid Team.
+/* Copyright (c) 2007-2023. The SimGrid Team.
  * All rights reserved.                                                     */
 
 /* This program is free software; you can redistribute it and/or modify it
@@ -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;