diff --git a/src/nfa/nfa.cc b/src/nfa/nfa.cc
index be4911724..420bbed62 100644
--- a/src/nfa/nfa.cc
+++ b/src/nfa/nfa.cc
@@ -250,7 +250,7 @@ BoolVector Nfa::get_useful_states(bool stop_at_first_useful_state) const {
         // rec_call simulates call of the strongconnect. Since c++ cannot do continue over
         // multiple loops, we use rec_call to jump to the main loop
         bool rec_call = false;
-        for(;act_state_data.current_move != act_state_data.end_move;act_state_data.current_move++) {
+        for(;act_state_data.current_move != act_state_data.end_move;++act_state_data.current_move) {
             next_state = (*act_state_data.current_move).target;
             // if successor is useful, act_state is useful as well
             if(useful[next_state]) {