[Buddy-developers] Files have been committed to CVS

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

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

Modified Files:
	bddop.c 
Log Message:
Fixed the bug with satcount().
The misccache should be cleared after changing the number of variables,
because satcount() results in the misccache depend on the number of
BDD variables.