-
Alexandre Duret-Lutz authored
* examples/bddtest/bddtest.cxx: reset some global BDDs to avoid issues when they are destroyed after BuDDy.
ece7631e
* examples/bddtest/bddtest.cxx: reset some global BDDs to avoid issues when they are destroyed after BuDDy.