-
Alexandre Duret-Lutz authored
* src/tgba/tgbasafracomplement.cc: Remove documentation of inexisting argument. * src/tgbaalgos/hoaf.hh: Fix typo in documentation.
3d9ffaec
* src/tgba/tgbasafracomplement.cc: Remove documentation of inexisting argument. * src/tgbaalgos/hoaf.hh: Fix typo in documentation.