-
Alexandre Duret-Lutz authored
wrap/python/tests/ltl2tgba.py, wrap/python/tests/ltlparse.py, wrap/python/tests/ltlsimple.py: Specify coding system to accommodate newer Python versions.
49192cc3
wrap/python/tests/ltl2tgba.py, wrap/python/tests/ltlparse.py, wrap/python/tests/ltlsimple.py: Specify coding system to accommodate newer Python versions.