- dummy index renamer didn't account for internal dummy indices of objects

[ginac.git] / ginac / basic.h

diff --git a/ginac/basic.h b/ginac/basic.h
index 9c54a67e45b2ed271a6ade82fa636dfc5d4e4fd9..555d35cfaf0cbb49a01dbe008c2ca31a9cb7a05e 100644 (file)
--- a/ginac/basic.h
+++ b/ginac/basic.h
@@ -154,10 +154,6 @@ public:
        /** Clear some status_flags. */
        const basic & clearflag(unsigned f) const {flags &= ~f; return *this;}
 
-       /** Get relative precedence level (useful for implementing pretty-printed
-        *  output). */
-       unsigned get_precedence(void) const {return precedence;}
-
 protected:
        void ensure_if_modifiable(void) const;