-
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
To find the state of this project's repository at the time of any of these versions, check out the tags.