-
Alexandre Duret-Lutz authored
* src/misc/formater.cc, src/misc/formater.hh (scan): New method. (prime): Use it. * src/bin/ltlcross.cc (translator_runner::translator_runner): Scan each specification string, and report those missing an input or output %-sequence. * NEWS: Mention it.
6a547371