diff options
Diffstat (limited to 'gcc/pretty-print.h')
| -rw-r--r-- | gcc/pretty-print.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/pretty-print.h b/gcc/pretty-print.h index 28179381314..8c568a42f4d 100644 --- a/gcc/pretty-print.h +++ b/gcc/pretty-print.h @@ -258,6 +258,7 @@ extern void pp_base_indent (pretty_printer *); extern void pp_base_newline (pretty_printer *); extern void pp_base_character (pretty_printer *, int); extern void pp_base_string (pretty_printer *, const char *); +extern void pp_write_text_to_stream (pretty_printer *pp); extern void pp_base_maybe_space (pretty_printer *); #endif /* GCC_PRETTY_PRINT_H */ |