-
Alexandre Duret-Lutz authored
(bdd_copypair): Revert 2003-05-20's change. Use bdd_addref to copy result variables. * src/bdd.h (BDD_INVMERGE): New error code. (bdd_mergepairs): Declare. * src/kernel.c (errorstrings): Add string of BDDINV.
dc6efb0c
To find the state of this project's repository at the time of any of these versions, check out the tags.