fixed compilation problem after the registered_class_options change

diff --git a/ginac/structure.h b/ginac/structure.h
index e38d457757dc2bd879eeab0bc6ed58a2b3f8a386..1c28d7501a3fb40c30ef742f372546e5bb90b13a 100644 (file)
--- a/ginac/structure.h
+++ b/ginac/structure.h
@@ -116,7 +116,7 @@ class structure : public basic, public ComparisonPolicy<T> {
        GINAC_DECLARE_REGISTERED_CLASS(structure, basic)
 
        // helpers
        GINAC_DECLARE_REGISTERED_CLASS(structure, basic)
 
        // helpers

-       static unsigned get_tinfo() { return reg_info.options.tinfo_key; }
+       static unsigned get_tinfo() { return reg_info.options.get_id(); }

        static const char *get_class_name() { return "structure"; }
 
        // constructors
        static const char *get_class_name() { return "structure"; }
 
        // constructors