++bla

VeriFIT · Sep 28, 2023 · 364c6eb · 364c6eb
1 parent a0f45b3
commit 364c6eb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/nfa/nfa.cc b/src/nfa/nfa.cc
@@ -243,7 +243,7 @@ BoolVector Nfa::get_useful_states(bool stop_at_first_useful_state) const {
             State act_succ = (*act_state_data.current_move).target;
             act_state_data.lowlink = std::min(act_state_data.lowlink, node_info[act_succ].lowlink);
             // act_succ is the state that cased the recursive call. Move to another successor.
-            act_state_data.current_move++;
+            ++act_state_data.current_move;
         }
 
         // iterate through outgoing edges