-
Alexandre Duret-Lutz authored
instead of one : one for the atomic propositions, and one for the acceptance conditions. This way it's easy for the tools in iface/gspn/ to require some atomic proposition to be declared and allow any acceptance conditions (there is nothing to adjust in this files because of the default value of the argument). * src/tgbaparse/tgbaparse.yy: Adjust. * src/tgbatest/ltl2tgba.cc, src/tgbatest/readsave.cc, src/tgbatest/reductgba.cc, src/tgbatest/tgbaread.cc: Adjust calls.
5891679c