X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flibpspp%2Fi18n.c;h=02aefb5b51256d201bde172a60bc4b100ccae7f8;hb=e0cd0149b4b578632eb263a52e93c8a1fed3daba;hp=0e9b2b1b3863bf6326d238d7f9508aefb17f8894;hpb=f9c7f743be4a93db4bf21861b62a984186f32308;p=pspp

diff --git a/src/libpspp/i18n.c b/src/libpspp/i18n.c
index 0e9b2b1b38..02aefb5b51 100644
--- a/src/libpspp/i18n.c
+++ b/src/libpspp/i18n.c
@@ -177,7 +177,7 @@ recode_string_pool (const char *to, const char *from,
 	      }
 	    /* Fall through */
 	  case E2BIG:
-	    free (outbuf);
+	    pool_free (pool, outbuf);
 	    outbufferlength <<= 1;
 	    outbuf = pool_malloc (pool, outbufferlength);
 	    op = outbuf;