-
Alexandre Duret-Lutz authored
* src/bin/common_trans.cc: Update to expect HOA by default. * doc/org/ltlcross.org, doc/org/ltldo.org: Adjust.
c5ecd09f
* src/bin/common_trans.cc: Update to expect HOA by default. * doc/org/ltlcross.org, doc/org/ltldo.org: Adjust.