#include <stdlib.h>
-#ifndef DMALLOC
+#ifndef DEBUG_DMALLOC
void *
xrealloc(void *old, uns size)
{
+ /* We assume that realloc(NULL, x) works like malloc(x), which is true with the glibc. */
void *x = realloc(old, size);
if (!x)
die("Cannot reallocate %d bytes of memory", size);