X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fpool.c;h=0123a8b955ed18c5190aa502aba9448130703653;hb=ca1feaeed4961242699d0b7ba61def0c58515ddd;hp=336671e2bcd6b84c868f380e95608dbc76ad47b8;hpb=7b98b3a4f58f6dc5a8e9cbc188b627966d5e652d;p=pspp-builds.git

diff --git a/src/pool.c b/src/pool.c
index 336671e2..0123a8b9 100644
--- a/src/pool.c
+++ b/src/pool.c
@@ -302,6 +302,8 @@ pool_strndup (struct pool *pool, const char *string, size_t length)
         copy = ((char *) b) + b->ofs;
         b->ofs += size;
       }
+    else
+      copy = pool_alloc (pool, size);
   }
 #else
   copy = pool_alloc (pool, size);