-#include <ctype.h>
-#include "virtual-methods.hh"
+#include <cctype>
+using namespace std;
+#include "virtual-methods.hh"
-const char *
-demangle_classname (char const *s)
+char const *
+demangle_classname (type_info const &t)
{
+ char const *s = t.name ();
while (isdigit (*s))
s++;
return s;