-
Alexandre Duret-Lutz authored
Reported by Jan Strejček. * src/bin/spot-x.cc: Fix documentation. * src/twaalgos/degen.cc, src/twaalgos/degen.hh: Fix comments.
b7fbf724
Reported by Jan Strejček. * src/bin/spot-x.cc: Fix documentation. * src/twaalgos/degen.cc, src/twaalgos/degen.hh: Fix comments.