-
Alexandre Duret-Lutz authored
This can only cause failure when running under valgrind (i.e., in the test suite), but is not a problem in practice as the test is certain to fail the entry->c check whenever entry->b is uninitialized. * src/bddop.c (bdd_implies): Here.
1244b617