(init_header): Use zero-filled `.%09d' format, not space-filled `.%9d'.

diff --git a/src/pr.c b/src/pr.c
index 8d60a7f9acbecdf6ffbb9474db493cb878656aa7..9cae9990188be9780c05515336c3c925fa39a63a 100644 (file)
--- a/src/pr.c
+++ b/src/pr.c
@@ -1693,7 +1693,7 @@ init_header (char *filename, int desc)
     {
       buf = xmalloc (INT_BUFSIZE_BOUND (long int)
                     + MAX (10, INT_BUFSIZE_BOUND (int)));
-      sprintf (buf, "%ld.%9d", (long int) s, ns);
+      sprintf (buf, "%ld.%09d", (long int) s, ns);
     }
   else
     {