no message

TAPAAL · Dec 30, 2023 · 68f8149 · 68f8149
1 parent 010b078
commit 68f8149
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/Colored/ColoredPetriNetBuilder.cpp b/src/Colored/ColoredPetriNetBuilder.cpp
@@ -196,10 +196,10 @@ namespace unfoldtacpn {
             unfoldPlace(builder, place);
         }
 
-        if (!_output_stream)) {
+        //if (!_output_stream)) {
             std::cout << "Printing bindings for each unfolded transition.\n";
             std::cout << "<bindings>\n";
-        }
+        //}
 
         for (auto& transition : _transitions) {
             unfoldTransition(builder, transition);