1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/rtl.h b/gcc/rtl.h
index 0eccaf2..2e5ca71 100644
--- a/gcc/rtl.h
+++ b/gcc/rtl.h
@@ -2606,6 +2606,7 @@ extern void dump_rtl_slim (FILE *, const_rtx, const_rtx, int, int);
 extern void print_value (pretty_printer *, const_rtx, int);
 extern void print_pattern (pretty_printer *, const_rtx, int);
 extern void print_insn (pretty_printer *, const_rtx, int);
+extern void print_insn_with_notes (pretty_printer *, const_rtx);
 extern const char *str_pattern_slim (const_rtx);
 
 /* In function.c */