-
Alexandre Duret-Lutz authored
call release_n(), not remove() to repopulated the freelist of anonymous BDD variables. New code I'm working on triggered an assertion inside remove(), but I'm surprised this bug hadn't manifested before !
49a78724
call release_n(), not remove() to repopulated the freelist of anonymous BDD variables. New code I'm working on triggered an assertion inside remove(), but I'm surprised this bug hadn't manifested before !