Update include/mata/parser/mintermization.hh

Co-authored-by: Tomas Fiedor <[email protected]>
VeriFIT · Oct 7, 2023 · 637630c · 637630c
1 parent 6c745e3
commit 637630c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/include/mata/parser/mintermization.hh b/include/mata/parser/mintermization.hh
@@ -244,7 +244,7 @@ public:
                     IntermediateAut::parse_transition(res, {trans.first.raw, std::to_string(symbol),
                                                             trans.second.children[1].node.raw});
                 }
-                symbol++;
+                ++symbol;
             }
         }
     }