- debugmsg("constant duplicate",LOGLEVEL_DUPLICATE);
- return new constant(*this);
+ debugmsg("constant print", LOGLEVEL_PRINT);
+
+ if (is_of_type(c, print_tree)) {
+ c.s << std::string(level, ' ') << name << " (" << class_name() << ")"
+ << std::hex << ", hash=0x" << hashvalue << ", flags=0x" << flags << std::dec
+ << std::endl;
+ } else if (is_of_type(c, print_latex))
+ c.s << TeX_name;
+ else
+ c.s << name;