X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fdata%2Fany-reader.c;h=df37c8ea470afb8f8be68fbf028d50854cc96f2f;hb=0e8ce9b60375ae15ddd8dafc27bad1cc26856b08;hp=64f881e3e124e2d382ffe0fed927b1bb3c291d88;hpb=a19b858e0ac3c69e4a28c0ca6d8674427268a863;p=pspp

diff --git a/src/data/any-reader.c b/src/data/any-reader.c
index 64f881e3e1..df37c8ea47 100644
--- a/src/data/any-reader.c
+++ b/src/data/any-reader.c
@@ -204,4 +204,6 @@ any_reader_close (struct any_reader *reader)
     default:
       abort ();
     }
+
+  free (reader);
 }