Fix typo in output format.

diff --git a/v7/src/microcode/option.c b/v7/src/microcode/option.c
index f4d7350b7d7955dd5c6191d72b2587c17e6a877a..9e2f20aa1c44cf545bf48784eb2be937402ec918 100644 (file)
--- a/v7/src/microcode/option.c
+++ b/v7/src/microcode/option.c
@@ -1,6 +1,6 @@
 /* -*-C-*-
 
-$Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v7/src/microcode/option.c,v 1.1 1990/11/13 08:46:33 cph Exp $
+$Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v7/src/microcode/option.c,v 1.2 1990/11/14 10:53:20 cph Exp $
 
 Copyright (c) 1990 Massachusetts Institute of Technology
 
@@ -656,7 +656,7 @@ DEFUN (error_library_search, (option, filename, default_p, wdp),
       CONST char * element = (*path++);
       if (element == 0)
        break;
-      fprintf (stderr, "   %s\n", element);
+      fprintf (stderr, "    %s\n", element);
     }
   termination_init_error ();
 }