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 a5ed6e36071..23728e7251e 100644 --- a/lib-src/make-docfile.c +++ b/lib-src/make-docfile.c @@ -123,7 +123,7 @@ memory_exhausted (void) /* Like malloc but get fatal error if memory is exhausted. */ -static void * +static void * ATTRIBUTE_MALLOC xmalloc (ptrdiff_t size) { void *result = malloc (size); |