PATCH: tweak tree-pretty-print.c

[Ben Elliston]

While hacking in the pretty printer recently, I noticed this but of
unnecessary code.  The surrounding while loop terminates on \0.  Okay
for the trunk?

2006-05-09  Ben Elliston  <bje@au.ibm.com>

        * tree-pretty-print.c (pretty_print_string): No need to handle
        '\0' as a special character.

Index: tree-pretty-print.c
===================================================================
--- tree-pretty-print.c (revision 113642)
+++ tree-pretty-print.c (working copy)
@@ -2512,9 +2512,7 @@ pretty_print_string (pretty_printer *buf
          pp_string (buffer, "\\'");
          break;
 
-       case '\0':
-         pp_string (buffer, "\\0");
-         break;
+         /* No need to handle \0; the loop terminates on \0.  */
 
        case '\1':
          pp_string (buffer, "\\1");