X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flibpspp%2Fpool.c;h=a1979abc81b5d68b5916b56c590c6dcfd3f94580;hb=b7968b37a3825943816f9c262d4b2979397f6a83;hp=377ca9d853a44ca900e02da8bc1e1ac6da5cccab;hpb=96e7b2185df6cafec262a1bec7a976f6901bf95b;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;