X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fcategory.c;h=509085497ab01fb39f6a6d0f5b4bce7f102a8984;hb=e294a372f351d7105c21a2db58022af8b119aa64;hp=55d7ca8b05addbe392424f1114755d9e4629645d;hpb=a19b858e0ac3c69e4a28c0ca6d8674427268a863;p=pspp

diff --git a/src/data/category.c b/src/data/category.c
index 55d7ca8b05..509085497a 100644
--- a/src/data/category.c
+++ b/src/data/category.c
@@ -59,9 +59,16 @@ void
 cat_stored_values_destroy (struct variable *v)
 {
   assert (v != NULL);
+
   if (v->obs_vals != NULL)
     {
+      if (v->obs_vals->n_allocated_categories > 0)
+	{
+	  free (v->obs_vals->vals);
+	  v->obs_vals->vals = NULL;
+	}
       free (v->obs_vals);
+      v->obs_vals = NULL;
     }
 }