From 364c6eba7a10e1f43438a58f8c4bba0e169385b8 Mon Sep 17 00:00:00 2001 From: Lukas Holik Date: Thu, 28 Sep 2023 23:29:11 +0200 Subject: [PATCH] ++bla --- src/nfa/nfa.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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