// global constants
extern const function some_function;
-extern const type_info & typeid_function;
+extern const std::type_info & typeid_function;
#ifndef NO_NAMESPACE_GINAC
} // namespace GiNaC
//////////
const function some_function;
-const type_info & typeid_function=typeid(some_function);
+const std::type_info & typeid_function=typeid(some_function);
#ifndef NO_NAMESPACE_GINAC
} // namespace GiNaC