From bd1588d809673d778a463c14df97aac13f447b3d Mon Sep 17 00:00:00 2001 From: Joeri Exelmans Date: Mon, 9 Dec 2024 17:23:07 +0100 Subject: [PATCH] forgot to remove debug output --- examples/petrinet/renderer.py | 1 - 1 file changed, 1 deletion(-) diff --git a/examples/petrinet/renderer.py b/examples/petrinet/renderer.py index 2d51fad..278376a 100644 --- a/examples/petrinet/renderer.py +++ b/examples/petrinet/renderer.py @@ -30,7 +30,6 @@ def render_petri_net_to_dot(od: ODAPI) -> str: num_tokens = od.get_slot_value(place_state, "numTokens") except IndexError: num_tokens = 0 - print("PLACE", place) dot += f" {make_graphviz_id(place)} [label=\"{place_name}\\n\\n{render_tokens(num_tokens)}\\n\\n­\"];\n" dot += "}\n" dot += "subgraph transitions {\n"