no message

TAPAAL · Dec 30, 2023 · e899747 · e899747
1 parent 68f8149
commit e899747
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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);