-
Alexandre Duret-Lutz authored
* wrap/python/ajax/spot.in (render_dot, render_dot_maybe) (render_automaton, render_formula): Cache the dot source, so that we do not have to regenerate two pictures from the same contents. * wrap/python/spot.i: Typo in the ostringstream declaration.
155ba42c