no message

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