Commit 518a9608 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz

remove stray print

parent 92e28d1f
Pipeline #9238 passed with stage
in 1 minute and 49 seconds
......@@ -510,7 +510,6 @@ def translate(ltlformula, method='GET'):
m ='transform="scale\(([.\d]+) ', automaton_svg)
if m:
scale = float(
if scale <= .9:
# Re-render vertically and see if the scale is better
dotsrc = spot.ostringstream()
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment