diff options
Diffstat (limited to 'lib-src')
| -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 c68173eb66c..05a08473c3f 100644 --- a/lib-src/make-docfile.c +++ b/lib-src/make-docfile.c | |||
| @@ -700,7 +700,7 @@ write_globals (void) | |||
| 700 | switch (globals[i].type) | 700 | switch (globals[i].type) |
| 701 | { | 701 | { |
| 702 | case EMACS_INTEGER: | 702 | case EMACS_INTEGER: |
| 703 | type = "EMACS_INT"; | 703 | type = "intmax_t"; |
| 704 | break; | 704 | break; |
| 705 | case BOOLEAN: | 705 | case BOOLEAN: |
| 706 | type = "bool"; | 706 | type = "bool"; |