# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 769381508 0
# Node ID d5d803ffff27b37611c24e886302ddad1515766a
# Parent  4b15aee0be138e3c9e1950f6dbb45fd224ba3db0
(write_c_args): Put `default' in upper case.

diff -r 4b15aee0be13 -r d5d803ffff27 lib-src/make-docfile.c
--- a/lib-src/make-docfile.c	Thu May 19 20:48:32 1994 +0000
+++ b/lib-src/make-docfile.c	Thu May 19 21:05:08 1994 +0000
@@ -217,7 +217,7 @@
 		|| ('0' <= p[6] && p[6] <= '9')
 		|| p[6] == '_'))
 	{
-	  fprintf (out, "default");
+	  fprintf (out, "DEFAULT");
 	  p += 5;
 	  in_ident = 0;
 	  just_spaced = 0;