gdb_flush (stream);
}
-#if MAINTENANCE_CMDS
-
/* Dump details of a type specified either directly or indirectly.
Uses the same sort of type lookup mechanism as ptype_command()
and whatis_command(). */
}
}
-#endif /* MAINTENANCE_CMDS */
-
\f
void
_initialize_typeprint ()