isl_hash_table_remove: update number of entries
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 22 Jan 2009 20:46:36 +0000 (21:46 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 3 Feb 2009 20:47:07 +0000 (21:47 +0100)
commitdb05fd0568ec9d1e0444f3064df52f6048cc1121
treeea1326c28701aeecbe6f5eab032d5ef4a67199f1
parent350d59fe656293a3437d40a50a2c56c0c3dfb49a
isl_hash_table_remove: update number of entries

Otherwise, removing an element and later adding it back again
would increase the number of elements in the table, quickly
leading to overflows.
isl_hash.c