-
Alexandre Duret-Lutz authored
For #192. * src/bddio.c, src/cppext.cxx, src/kernel.c: Fix printf formats, calls to new, and simplify one check in bdd_delref_nc().
63818a3e
For #192. * src/bddio.c, src/cppext.cxx, src/kernel.c: Fix printf formats, calls to new, and simplify one check in bdd_delref_nc().