Tried to set max. than there already has been allocated.
number of nodes to be fewer
Definition at line 2068 of file bdd.h.
