• Alexandre Duret-Lutz's avatar
    Cosmetics. · aa2374c5
    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
simulation.cc 23.8 KB