bug #808: use double instead of float for the increasing size ratio in CompressedStorage::resize

(grafted from 0e0ae40084
)
This commit is contained in:
Gael Guennebaud
2014-07-08 18:58:41 +02:00
parent 5214466b7a
commit e3557e8dd2
2 changed files with 7 additions and 7 deletions

View File

@@ -83,10 +83,10 @@ class CompressedStorage
reallocate(m_size);
}
void resize(size_t size, float reserveSizeFactor = 0)
void resize(size_t size, double reserveSizeFactor = 0)
{
if (m_allocatedSize<size)
reallocate(size + size_t(reserveSizeFactor*size));
reallocate(size + size_t(reserveSizeFactor*double(size)));
m_size = size;
}