[Javabdd-checkins] JavaBDD/buddy/src reorder.c,1.3,1.4

[John W. <joe...@us...>]

Update of /cvsroot/javabdd/JavaBDD/buddy/src
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv12563/buddy/src

Modified Files:
	reorder.c 
Log Message:
Fix for buddy bug #1111195:
BDD corruption with GC and reordering

Index: reorder.c
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/buddy/src/reorder.c,v
retrieving revision 1.3
retrieving revision 1.4
diff -C2 -d -r1.3 -r1.4
*** reorder.c	1 Oct 2004 02:17:20 -0000	1.3
--- reorder.c	28 Jan 2005 03:24:31 -0000	1.4
***************
*** 822,826 ****
        return;
     
!    if (REF(r) == 0)
     {
        bddfreenum--;
--- 822,826 ----
        return;
     
!    if (REF(r) == 0 && !MARKED(r))
     {
        bddfreenum--;