Update of /cvsroot/javabdd/JavaBDD/buddy/src
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv4063/buddy/src
Modified Files:
pairs.c
Log Message:
Set pairs to null when calling bdd_done() so that we can reinitialize safely.
Index: pairs.c
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/buddy/src/pairs.c,v
retrieving revision 1.4
retrieving revision 1.5
diff -C2 -d -r1.4 -r1.5
*** pairs.c 17 Apr 2005 10:21:27 -0000 1.4
--- pairs.c 4 May 2005 22:14:12 -0000 1.5
***************
*** 69,72 ****
--- 69,73 ----
p = next;
}
+ pairs = NULL;
}
|
