-
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
* 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.