From 9c4666c6c5a21d30201ac5a226d9b0874b4fe512 Mon Sep 17 00:00:00 2001
From: srba <srba@users.noreply.github.com>
Date: Mon, 22 Jan 2024 11:18:52 +0100
Subject: [PATCH] Update ColoredPetriNetBuilder.cpp

fixing an issue for non-colored net unfolding
---
 src/Colored/ColoredPetriNetBuilder.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/Colored/ColoredPetriNetBuilder.cpp b/src/Colored/ColoredPetriNetBuilder.cpp
index 5c77e9b..7e86b51 100644
--- a/src/Colored/ColoredPetriNetBuilder.cpp
+++ b/src/Colored/ColoredPetriNetBuilder.cpp
@@ -300,8 +300,8 @@ namespace unfoldtacpn {
         for (auto& b : gen) {
            
             std::string name = transition.name;
-            //if(!gen.isInitial())
-            name += "__" + std::to_string(i++);
+            if(!gen.isInitial())
+                name += "__" + std::to_string(i++);
 
             // Print bindings for each transition if output stream exists
             if (_output_stream) {