-
Alexandre Duret-Lutz authored
* src/sanity/style.test: Catch extra space around operator declarations. * src/ltlast/automatop.hh, src/ltlast/multop.hh, src/tgba/tgbabddcoredata.cc, src/tgba/tgbabddcoredata.hh, src/tgbaalgos/simulation.cc: Fix them.
aa2374c5