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

diff --git a/src/alloc.c b/src/alloc.c
index 0da8f74490..a0c2fbac5b 100644
--- a/src/alloc.c
+++ b/src/alloc.c
@@ -19,12 +19,10 @@
 
 #include <config.h>
 #include "alloc.h"
-#include "error.h"
 #include <stdio.h>
 #include <stdlib.h>
+#include "error.h"
 #include "str.h"
-
-static void out_of_memory (void);
 
 /* Public functions. */
 
@@ -106,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");