-
Alexandre Duret-Lutz authored
* src/neverparse/public.hh, src/neverparse/parsedecl.hh: Fix inclusion guards. * src/tgba/tgbaexplicit.hh, src/tgbatest/emptchk.test, src/tgbatest/ltl2tgba.cc: Fix trailing whitespaces.
1e0f99e8
* src/neverparse/public.hh, src/neverparse/parsedecl.hh: Fix inclusion guards. * src/tgba/tgbaexplicit.hh, src/tgbatest/emptchk.test, src/tgbatest/ltl2tgba.cc: Fix trailing whitespaces.