-
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
To find the state of this project's repository at the time of any of these versions, check out the tags.