-
Alexandre Duret-Lutz authored
I had no idea this was working... Reported by Joachim Klein. * src/bin/common_trans.cc: Document it. * src/tests/ltlcross3.test: Test it.
31f5ea75
I had no idea this was working... Reported by Joachim Klein. * src/bin/common_trans.cc: Document it. * src/tests/ltlcross3.test: Test it.