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

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

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

Modified Files:
	reorder.c 
Log Message:


Index: reorder.c
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/buddy/src/reorder.c,v
retrieving revision 1.4
retrieving revision 1.5
diff -C2 -d -r1.4 -r1.5
*** reorder.c	28 Jan 2005 03:24:31 -0000	1.4
--- reorder.c	28 Jan 2005 04:07:10 -0000	1.5
***************
*** 822,826 ****
        return;
     
!    if (REF(r) == 0 && !MARKED(r))
     {
        bddfreenum--;
--- 822,826 ----
        return;
     
!    if (REF(r) == 0 || MARKED(r))
     {
        bddfreenum--;