commented out internal debugging function

diff --git a/ginac/hash_map.h b/ginac/hash_map.h
index 82b18a1b1495dba7afaa974e953735940b4bcc55..958d10988103679bc200e36803c18d846efd5ed9 100644 (file)
--- a/ginac/hash_map.h
+++ b/ginac/hash_map.h
@@ -431,6 +431,7 @@ public:
                return !(lhs == rhs);
        }
 
+#if 0
        void dump() const
        {
                std::clog << "num_entries = " << num_entries << std::endl;
@@ -441,6 +442,7 @@ public:
                        std::clog << (it->first == EMPTY ? "free" : (it->first == USED ? "used" : "erased")) << ", " << it->second.first << " -> " << it->second.second << std::endl;
                }
        }
+#endif
 };
 
 /** Return pointer to bucket corresponding to key (or first empty bucket). */