From 16fa313d8f35d5b47fa2ce1c5a581d312b49ff0c Mon Sep 17 00:00:00 2001 From: Christian Bauer Date: Thu, 21 Aug 2003 22:57:02 +0000 Subject: [PATCH 1/1] removed unused function --- ginac/hash_map.h | 7 ------- 1 file changed, 7 deletions(-) diff --git a/ginac/hash_map.h b/ginac/hash_map.h index 839b8238..108fb2fb 100644 --- a/ginac/hash_map.h +++ b/ginac/hash_map.h @@ -254,13 +254,6 @@ protected: return num_buckets - (num_buckets >> 2); } - /** Empty all buckets in the table. */ - void empty_all_buckets() - { - for (table_iterator i = hashtab.begin(); i != hashtab.end(); ++i) - i->first = EMPTY; - } - void grow(); public: -- 2.44.0