From e899747f1038363062b982bac28cfad3f3283e09 Mon Sep 17 00:00:00 2001
From: Jiri Srba <srba.jiri@gmail.com>
Date: Sat, 30 Dec 2023 13:51:05 +0100
Subject: [PATCH] no message

---
 src/Colored/ColoredPetriNetBuilder.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Colored/ColoredPetriNetBuilder.cpp b/src/Colored/ColoredPetriNetBuilder.cpp
index 076fa4f..730bf77 100644
--- a/src/Colored/ColoredPetriNetBuilder.cpp
+++ b/src/Colored/ColoredPetriNetBuilder.cpp
@@ -199,7 +199,7 @@ namespace unfoldtacpn {
         //if (!_output_stream)) {
             std::cout << "Printing bindings for each unfolded transition.\n";
             std::cout << "<bindings>\n";
-        //}
+    }
 
         for (auto& transition : _transitions) {
             unfoldTransition(builder, transition);