removed unused function

diff --git a/ginac/hash_map.h b/ginac/hash_map.h
index 839b8238f8402c78ded1c0c4dea3bce19e278d0a..108fb2fb51ed244dc580732566a02cca2e9ccabc 100644 (file)
--- a/ginac/hash_map.h
+++ b/ginac/hash_map.h
@@ -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: