-
Alexandre Duret-Lutz authored
* bin/common_trans.cc, bin/common_trans.hh, bin/ltlcross.cc, bin/ltldo.cc: Rename translator_spec and translators to tool_spec and tools, so that we can reuse these structures for automata tools in a future autcross.
9690c223