Added a note on xrealloc(NULL, x).

diff --git a/lib/realloc.c b/lib/realloc.c
index 536f61f9acce4714b53e9a43e6222b6e35ac67d0..c432887015be839f2a8513f09c27a32fc92527e3 100644 (file)
--- a/lib/realloc.c
+++ b/lib/realloc.c
@@ -16,6 +16,7 @@
 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);