[PATCH] Fix maint.c:print_section_info filepos output

[Peter.Schauer]

Committed as obvious:

2002-02-23  Peter Schauer  <pes@regent.e-technik.tu-muenchen.de>

	* maint.c (print_section_info): Do not prepend `0x' to filepos
	output, it will be handled by local_hex_string_custom.

--- ./maint.c.orig	Sat Feb  9 12:18:13 2002
+++ ./maint.c	Sat Feb 23 12:25:29 2002
@@ -296,7 +296,7 @@ print_section_info (const char *name, fl
   /* FIXME-32x64: Need print_address_numeric with field width.  */
   printf_filtered ("    0x%s", paddr (addr));
   printf_filtered ("->0x%s", paddr (endaddr));
-  printf_filtered (" at 0x%s",
+  printf_filtered (" at %s",
 		   local_hex_string_custom ((unsigned long) filepos, "08l"));
   printf_filtered (": %s", name);
   print_bfd_flags (flags);

-- 
Peter Schauer			pes@regent.e-technik.tu-muenchen.de