-
Alexandre Duret-Lutz authored
* src/misc/bddalloc.cc (bdd_allocator::initialize): Call bdd_setmaxincrease(500000), because the default is 50000, which cause garbage collection to occur too often.
11bb4c77
* src/misc/bddalloc.cc (bdd_allocator::initialize): Call bdd_setmaxincrease(500000), because the default is 50000, which cause garbage collection to occur too often.