From dc6efb0c407e65e2a91eaae57f087c891d3f3d4f Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 22 May 2003 15:07:56 +0000 Subject: [PATCH] * src/pairs.c (bdd_mergepairs): New function. (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. --- buddy/ChangeLog | 1 - 1 file changed, 1 deletion(-) diff --git a/buddy/ChangeLog b/buddy/ChangeLog index d04abef48..f09d52673 100644 --- a/buddy/ChangeLog +++ b/buddy/ChangeLog @@ -3,7 +3,6 @@ * src/pairs.c (bdd_mergepairs): New function. (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.