-
Alexandre Duret-Lutz authored
kills a memory leak warning from swig/python. * src/ltlparse/public.hh (parse_error_list): Declare as an empty struct for Swig. * wrap/python/tests/ltlparse.py: Fix copyright.
391372ae
To find the state of this project's repository at the time of any of these versions, check out the tags.