-
Alexandre Duret-Lutz authored
* src/sanity/style.test: Fix the space-after-comma test. * src/bin/randltl.cc, src/tgba/tgbaexplicit.hh: Add missing spaces.
0990de50
* src/sanity/style.test: Fix the space-after-comma test. * src/bin/randltl.cc, src/tgba/tgbaexplicit.hh: Add missing spaces.