++ prefix

VeriFIT · Sep 28, 2023 · a0fe73a · a0fe73a
1 parent 81f3b67
commit a0fe73a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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]) {