From 637630c0b4410f839d8ffc7a1fa8c4023d920af5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Hru=C5=A1ka?= <hruskamartin25@gmail.com>
Date: Sat, 7 Oct 2023 11:14:18 +0200
Subject: [PATCH] Update include/mata/parser/mintermization.hh

Co-authored-by: Tomas Fiedor <ifiedortom@fit.vutbr.cz>
---
 include/mata/parser/mintermization.hh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/include/mata/parser/mintermization.hh b/include/mata/parser/mintermization.hh
index 7569ad4bb..916cfa28f 100644
--- 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;
             }
         }
     }