removed unused function
authorChristian Bauer <Christian.Bauer@uni-mainz.de>
Thu, 21 Aug 2003 22:57:02 +0000 (22:57 +0000)
committerChristian Bauer <Christian.Bauer@uni-mainz.de>
Thu, 21 Aug 2003 22:57:02 +0000 (22:57 +0000)
ginac/hash_map.h

index 839b8238f8402c78ded1c0c4dea3bce19e278d0a..108fb2fb51ed244dc580732566a02cca2e9ccabc 100644 (file)
@@ -254,13 +254,6 @@ protected:
                return num_buckets - (num_buckets >> 2);
        }
 
                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:
        void grow();
 
 public: