From 22ac0c65f4e589dd4bc828fc6a0d0237b3fb0169 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20Chocholat=C3=BD?= <chocholaty.david@protonmail.com>
Date: Mon, 11 Sep 2023 13:35:37 +0200
Subject: [PATCH] Mark const method as const

---
 include/mata/nfa/nfa.hh | 2 +-
 src/nfa/nfa.cc          | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/include/mata/nfa/nfa.hh b/include/mata/nfa/nfa.hh
index 494bb7b8d..b9962f846 100644
--- a/include/mata/nfa/nfa.hh
+++ b/include/mata/nfa/nfa.hh
@@ -149,7 +149,7 @@ public:
      *  essentially only useful for testing purposes.
      * @return True if automata are exactly identical, false otherwise.
      */
-    bool is_identical(const Nfa & aut);
+    bool is_identical(const Nfa& aut) const;
 
     /**
      * @brief Get set of reachable states.
diff --git a/src/nfa/nfa.cc b/src/nfa/nfa.cc
index 57c422c6b..bac88cd1d 100644
--- a/src/nfa/nfa.cc
+++ b/src/nfa/nfa.cc
@@ -499,7 +499,7 @@ void Nfa::clear() {
     final.clear();
 }
 
-bool Nfa::is_identical(const Nfa& aut) {
+bool Nfa::is_identical(const Nfa& aut) const {
     if (utils::OrdVector<State>(initial) != utils::OrdVector<State>(aut.initial)) {
         return false;
     }