-
Alexandre Duret-Lutz authored
* src/sanity/style.test: Check for it. * src/dstarparse/nra2nba.cc, src/dstarparse/nsa2tgba.cc, src/tgbaalgos/randomize.cc, src/tgbaalgos/stutter.cc: Fix all those.
a539dc90
* src/sanity/style.test: Check for it. * src/dstarparse/nra2nba.cc, src/dstarparse/nsa2tgba.cc, src/tgbaalgos/randomize.cc, src/tgbaalgos/stutter.cc: Fix all those.