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

diff --git a/src/alloc.c b/src/alloc.c
index 0da8f74490..1aaba30579 100644
--- a/src/alloc.c
+++ b/src/alloc.c
@@ -23,8 +23,6 @@
 #include <stdio.h>
 #include <stdlib.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");