registered_class_info: use typeid() instead of tinfo_static.

[ginac.git] / ginac / registrar.cpp

diff --git a/ginac/registrar.cpp b/ginac/registrar.cpp
index 1f9dcca4690b09d24efa8c457dff3c79a5406ed2..5a4d8903660fd74a14e28682634790878e404188 100644 (file)
--- a/ginac/registrar.cpp
+++ b/ginac/registrar.cpp
@@ -3,7 +3,7 @@
  *  GiNaC's class registrar (for class basic and all classes derived from it). */
 
 /*
- *  GiNaC Copyright (C) 1999-2007 Johannes Gutenberg University Mainz, Germany
+ *  GiNaC Copyright (C) 1999-2008 Johannes Gutenberg University Mainz, Germany
  *
  *  This program is free software; you can redistribute it and/or modify
  *  it under the terms of the GNU General Public License as published by
@@ -28,7 +28,7 @@
 
 namespace GiNaC {
 
-tinfo_t find_tinfo_key(const std::string &class_name)
+std::type_info const* find_tinfo_key(const std::string &class_name)
 {
        return registered_class_info::find(class_name)->options.get_id();
 }