-
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.
2d18ac22
For #199. * tests/sanity/style.test: Test this. * bin/ltlcross.cc, spot/parseaut/parseaut.yy, tests/ltsmin/modelcheck.cc: Fix it.