[Javabdd-checkins] JavaBDD/buddy/src pairs.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-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;
  }