-
Alexandre Duret-Lutz authored
* wrap/python/spot.i: Provide a __nonzero__() method for parse_error_list. * wrap/python/cgi-bin/ltl2tgba.in: Do not call format_parse_errors() unconditionally.
dc2a89f8
To find the state of this project's repository at the time of any of these versions, check out the tags.