1 files changed, 4 insertions, 8 deletions
diff --git a/gcc/print-rtl.c b/gcc/print-rtl.c
index 2891967390e..a946312c091 100644
--- a/gcc/print-rtl.c
+++ b/gcc/print-rtl.c
@@ -749,14 +749,10 @@ print_rtl_single (FILE *outf, const_rtx x)
 {
   outfile = outf;
   sawclose = 0;
-  if (! flag_dump_unnumbered)
-    {
-      fputs (print_rtx_head, outfile);
-      print_rtx (x);
-      putc ('\n', outf);
-      return 1;
-    }
-  return 0;
+  fputs (print_rtx_head, outfile);
+  print_rtx (x);
+  putc ('\n', outf);
+  return 1;
 }