diff options
Diffstat (limited to 'gcc/plugin.h')
| -rw-r--r-- | gcc/plugin.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/gcc/plugin.h b/gcc/plugin.h index 68a673b..b96445d 100644 --- a/gcc/plugin.h +++ b/gcc/plugin.h @@ -167,8 +167,6 @@ extern bool plugins_active_p (void); extern void dump_active_plugins (FILE *); extern void debug_active_plugins (void); extern void warn_if_plugins (void); -extern void plugins_internal_error_function (diagnostic_context *, - const char *, va_list *); extern void print_plugins_versions (FILE *file, const char *indent); extern void print_plugins_help (FILE *file, const char *indent); extern void finalize_plugins (void); |