• Alexandre Duret-Lutz's avatar
    various typos · 1ed6e518
    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: Fix various occurences of this pattern.
    1ed6e518
gen.py 28.3 KB