- Updated Cint status.

[ginac.git] / ginac / symbol.cpp

diff --git a/ginac/symbol.cpp b/ginac/symbol.cpp
index 1e2561ab7eff7550b3e9303bacc3b31df09368fe..96216625a1004bf50a2622632ba0326facb6de00 100644 (file)
--- a/ginac/symbol.cpp
+++ b/ginac/symbol.cpp
@@ -181,11 +181,11 @@ bool symbol::info(unsigned inf) const
 {
        if (inf==info_flags::symbol) return true;
        if (inf==info_flags::polynomial ||
-               inf==info_flags::integer_polynomial ||
-               inf==info_flags::cinteger_polynomial ||
-               inf==info_flags::rational_polynomial ||
-               inf==info_flags::crational_polynomial ||
-               inf==info_flags::rational_function) {
+           inf==info_flags::integer_polynomial ||
+           inf==info_flags::cinteger_polynomial ||
+           inf==info_flags::rational_polynomial ||
+           inf==info_flags::crational_polynomial ||
+           inf==info_flags::rational_function) {
                return true;
        } else {
                return inherited::info(inf);
@@ -357,7 +357,7 @@ unsigned symbol::next_serial=0;
 //////////
 
 const symbol some_symbol;
-const type_info & typeid_symbol=typeid(some_symbol);
+const std::type_info & typeid_symbol = typeid(some_symbol);
 
 //////////
 // subclass assigned_ex_info