From 1a1a05469f21c27894ce34e68aaa2d4a99410cef 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 6219773ec..acd116b19 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;
     }