From 261c4b715d1fd790e5c85cc1ab6f756db63a56e2 Mon Sep 17 00:00:00 2001
From: Lukas Holik <kiloh.sakul@gmail.com>
Date: Thu, 28 Sep 2023 16:20:00 +0200
Subject: [PATCH] some smalll things?

---
 include/mata/nfa/nfa.hh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/include/mata/nfa/nfa.hh b/include/mata/nfa/nfa.hh
index 6fcd4a4c8..c50134d39 100644
--- a/include/mata/nfa/nfa.hh
+++ b/include/mata/nfa/nfa.hh
@@ -175,7 +175,7 @@ public:
      *
      * @return BoolVector Bool vector whose ith value is true iff the state i is useful.
      */
-    BoolVector get_useful_states() const;
+    BoolVector get_useful_states(bool stop_at_first_useful_state = false) const;
 
     /**
      * @brief Remove inaccessible (unreachable) and not co-accessible (non-terminating) states in-place.