diff options
Diffstat (limited to 'lib-src/make-docfile.c')
| -rw-r--r-- | lib-src/make-docfile.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib-src/make-docfile.c b/lib-src/make-docfile.c index 0b90eba8953..ed6dde3a0bf 100644 --- a/lib-src/make-docfile.c +++ b/lib-src/make-docfile.c @@ -299,7 +299,7 @@ scan_keyword_or_put_char (ch, state) while (ch != ' ' && ch != ')'); put_char ('f', state); put_char ('n', state); - + /* Put back the last character. */ ungetc (ch, state->in_file); } |