* In theory, this should reduce the number of ATermMap

re-allocations.
This commit is contained in:
Eelco Dolstra 2006-03-10 16:14:13 +00:00
parent 4ada6db1fc
commit 2b3b6c9b34
2 changed files with 4 additions and 3 deletions

View file

@ -50,9 +50,10 @@ void ATermMap::copy(const ATermMap & map)
{
ATermList keys = map.keys();
/* !!! adjust allocation for load pct */
/* !!! We adjust for the maximum load pct by allocating twice as
much. Probably a bit too much. */
maxLoadPct = map.maxLoadPct;
table = ATtableCreate(ATgetLength(keys), maxLoadPct);
table = ATtableCreate(ATgetLength(keys) * 2, maxLoadPct);
if (!table) throw Error("cannot create ATerm table");
add(map, keys);