structure::~structure()
{
debugmsg("structure destructor",LOGLEVEL_DESTRUCT);
- destroy(0);
+ destroy(false);
}
structure::structure(const structure & other)
{
debugmsg("structure operator=",LOGLEVEL_ASSIGNMENT);
if (this != &other) {
- destroy(1);
+ destroy(true);
copy(other);
}
return *this;
//////////
const structure some_structure;
-const type_info & typeid_structure=typeid(some_structure);
+const std::type_info & typeid_structure = typeid(some_structure);
#ifndef NO_NAMESPACE_GINAC
} // namespace GiNaC