X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Falloc.c;h=a0c2fbac5bbf4a79648cb2663f1bcddc99855228;hb=f9ce8d75ae81553d9aec05351cb2d12d0df33e5e;hp=0dc815f71de75d8beb99abd8b29c13cffd8f6ffe;hpb=cb4033020c8a24d573814e6ac9192046bffdccac;p=pspp

diff --git a/src/alloc.c b/src/alloc.c
index 0dc815f71d..a0c2fbac5b 100644
--- a/src/alloc.c
+++ b/src/alloc.c
@@ -18,12 +18,11 @@
    02111-1307, USA. */
 
 #include <config.h>
-#include <assert.h>
+#include "alloc.h"
 #include <stdio.h>
 #include <stdlib.h>
+#include "error.h"
 #include "str.h"
-
-static void out_of_memory (void);
 
 /* Public functions. */
 
@@ -105,11 +104,9 @@ xstrdup (const char *s)
   memcpy (t, s, size);
   return t;
 }
-
-/* Private functions. */
 
 /* Report an out-of-memory condition and abort execution. */
-static void
+void
 out_of_memory (void)
 {
   fprintf (stderr, "virtual memory exhausted\n");