Update src/nfa/nfa.cc

Co-authored-by: David Chocholatý <[email protected]>
VeriFIT · Jul 12, 2024 · 9df2586 · 9df2586
1 parent 08d5ffb
commit 9df2586
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/nfa/nfa.cc b/src/nfa/nfa.cc
@@ -390,7 +390,7 @@ bool Nfa::is_flat() const {
             bool one_input_visited = false;
             for (const mata::nfa::SymbolPost& sp : this->delta[st]) {
                 for (const mata::nfa::State& tgt : scc) {
-                    if(sp.targets.find(tgt) != sp.targets.end()) {
+                    if(sp.targets.contains(tgt)) {
                         if(one_input_visited) {
                             flat = false;
                             return true;