-
Alexandre Duret-Lutz authored
This bug caused tgbatest/ltl2dstar.test to fail but because I had no ltl2dstar on my computer for a while, I only discovered it after David Müller and Joachim Klein reported a bug against ltlcross. It might be the case that their bug is different (I can't reproduce it using their format), but I hope it was caused by this as well. * src/dstarparse/nra2nba.cc: Revert 57cda2d9, with a comment. * THANKS: Add David.
78e63d03