Merge pull request #13 from TAPAAL/srba-patch-1

Update ColoredPetriNetBuilder.cpp
TAPAAL · Jan 22, 2024 · 5948fff · 5948fff
2 parents 0fbaf63 + 9c4666c
commit 5948fff
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) {