1 files changed, 1 insertions, 1 deletions

diff --git a/lib-src/make-docfile.c b/lib-src/make-docfile.c
index 1ec365f3446..89737f04357 100644
--- a/lib-src/make-docfile.c
+++ b/lib-src/make-docfile.c
@@ -541,7 +541,7 @@ write_c_args (FILE *out, char *func, char *buf, int minargs, int maxargs)
           maxargs--;
 
           /* In C code, `default' is a reserved word, so we spell it
-             `defalt'; unmangle that here.  */
+             `defalt'; demangle that here.  */
           if (ident_length == 6 && strncmp (ident_start, "defalt", 6) == 0)
             fprintf (out, "DEFAULT");
           else