-
Alexandre Duret-Lutz authored
* src/kernel.c (bdd_addref): Fix typo documentation. * src/bddop.c (bdd_appall, bdd_appallcomp): Likewise.
b910330a
* src/kernel.c (bdd_addref): Fix typo documentation. * src/bddop.c (bdd_appall, bdd_appallcomp): Likewise.