changeset 7564:d5d803ffff27

(write_c_args): Put `default' in upper case.
author Richard M. Stallman <rms@gnu.org>
date Thu, 19 May 1994 21:05:08 +0000
parents 4b15aee0be13
children edf32f56ba70
files lib-src/make-docfile.c
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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;