X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fdatasheet.c;h=da85d963c17dfb166ff93ab1e7882f1ee8105d42;hb=6ef859a7962e2d98b192844b07f39017df11681b;hp=842e9c3adf426ffbfccec1405ed46520b088fa6d;hpb=9f4661992f4b481c6dafa6fd53c94ecfe7b3af8c;p=pspp

diff --git a/src/data/datasheet.c b/src/data/datasheet.c
index 842e9c3adf..da85d963c1 100644
--- a/src/data/datasheet.c
+++ b/src/data/datasheet.c
@@ -1339,6 +1339,8 @@ check_datasheet_casereader (struct mc *mc, struct casereader *reader,
                         "%g != %g",
                         row, col, row_cnt, column_cnt,
                         case_num_idx (&c, col), array[row][col]);
+
+	  case_destroy (&c);
         }
 
       if (casereader_read (reader, &c))