From 44ec54892fdadceeb95e78e786f0411860f342ad Mon Sep 17 00:00:00 2001 From: Christian Bauer Date: Fri, 25 Jul 2003 20:05:09 +0000 Subject: [PATCH] fixed compilation problem after the registered_class_options change --- ginac/structure.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ginac/structure.h b/ginac/structure.h index e38d4577..1c28d750 100644 --- a/ginac/structure.h +++ b/ginac/structure.h @@ -116,7 +116,7 @@ class structure : public basic, public ComparisonPolicy { 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 -- 2.44.0