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