X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flibpspp%2Fpool.c;fp=src%2Flibpspp%2Fpool.c;h=a1979abc81b5d68b5916b56c590c6dcfd3f94580;hb=6bba5ab59c5a2144407d7e3a2531a59e62e7c247;hp=377ca9d853a44ca900e02da8bc1e1ac6da5cccab;hpb=34e95f1bcf1120d3f9051c191379f53ea384f930;p=pspp

diff --git a/src/libpspp/pool.c b/src/libpspp/pool.c
index 377ca9d853..a1979abc81 100644
--- a/src/libpspp/pool.c
+++ b/src/libpspp/pool.c
@@ -395,6 +395,9 @@ pool_memdup0 (struct pool *pool, const char *string, size_t size)
 char *
 pool_vasprintf (struct pool *pool, const char *format, va_list args_)
 {
+  if (!pool)
+    return xvasprintf (format, args_);
+
   struct pool_block *b;
   va_list args;
   int needed, avail;