-
Alexandre Duret-Lutz authored
For #199. * tests/sanity/style.test: Test this. * bin/ltlcross.cc, spot/parseaut/parseaut.yy, tests/ltsmin/modelcheck.cc: Fix it.
Alexandre Duret-Lutz authoredFor #199. * tests/sanity/style.test: Test this. * bin/ltlcross.cc, spot/parseaut/parseaut.yy, tests/ltsmin/modelcheck.cc: Fix it.
Loading