Update src/nfa/intersection.cc

Co-authored-by: Tomas Fiedor <[email protected]>
VeriFIT · Sep 28, 2023 · 31fa23c · 31fa23c
1 parent 0f01d7c
commit 31fa23c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/nfa/intersection.cc b/src/nfa/intersection.cc
@@ -234,7 +234,7 @@ Nfa mata::nfa::algorithms::product(
         const StatePost& rhs_state_post{rhs.delta[rhs_source] };
         auto rhs_first_epsilon_it = rhs_state_post.first_epsilon_it(first_epsilon);
         if (rhs_first_epsilon_it != rhs_state_post.end()) {
-            for (auto rhs_symbol_post = rhs_first_epsilon_it; rhs_symbol_post < rhs_state_post.end(); rhs_symbol_post++) {
+            for (auto rhs_symbol_post = rhs_first_epsilon_it; rhs_symbol_post < rhs_state_post.end(); ++rhs_symbol_post) {
                 SymbolPost prod_symbol_post{rhs_symbol_post->symbol };
                 for (const State rhs_target: rhs_symbol_post->targets) {
                     create_product_state_and_symbol_post(lhs_source, rhs_target, prod_symbol_post);