#include "ptid.h"
-/* Check if a character is one of the commonly used C++ marker characters. */
-extern int is_cplus_marker (int);
-
/* Enable xdb commands if set. */
extern int xdb_commands;
extern int producer_is_gcc_ge_4 (const char *producer);
-/* From demangle.c */
-
-extern void set_demangling_style (char *);
-
\f
/* Annotation stuff. */