-
Alexandre Duret-Lutz authored
* src/tgbatest/ltl2tgba.cc: Calling tgbatest/ltl2tgba -M -O (which makes no sense, but that is no reason) used the "minimized" variable for two automata, overwriting one. * wrap/python/spot.i: The python bindings did not know about sba_explicit automata, causing memory leaks, and complaints from the bdd_dict.
c8925994