diff --git a/src/nfa/nfa.cc b/src/nfa/nfa.cc index 06c07280e..4cef4d867 100644 --- 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