-
Alexandre Duret-Lutz authored
* src/ltlvisit/basicreduce.cc: Do not test for things like X(true), F(false), or `a U 1`. These are all trivial identities.
aa5c2f60
* src/ltlvisit/basicreduce.cc: Do not test for things like X(true), F(false), or `a U 1`. These are all trivial identities.