Update ColoredPetriNetBuilder.cpp

fixing an issue for non-colored net unfolding
TAPAAL · Jan 22, 2024 · 9c4666c · 9c4666c
1 parent 0fbaf63
commit 9c4666c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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) {