• Alexandre Duret-Lutz's avatar
    various typos · be411553
    Alexandre Duret-Lutz authored
    * bench/dtgbasat/gen.py, spot/twaalgos/complement.hh: Fix
    looser->loser and lossing->losing.
    * tests/sanity/style.test: Catch 'an uni[^n]'.
    * spot/ta/ta.hh, spot/taalgos/tgba2ta.cc, spot/taalgos/tgba2ta.hh,
    spot/twa/twagraph.cc, spot/twaalgos/complement.hh,
    spot/twaalgos/sccinfo.cc, spot/twaalgos/sum.hh: Fix various occurences
    of this pattern.
    be411553
ta.hh 8.27 KB