X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fdataset.c;h=063a4a425184ff1c6c35c06717c1552d83177e58;hb=e0b27f6f4cde2d52508db337c76ea81a8ca8ee79;hp=9503521207c0fd78a5bbbc2fc18a9c55a579da53;hpb=54b3aa8432383287c75b9baf954b7bf887126a0c;p=pspp

diff --git a/src/data/dataset.c b/src/data/dataset.c
index 9503521207..063a4a4251 100644
--- a/src/data/dataset.c
+++ b/src/data/dataset.c
@@ -474,7 +474,8 @@ proc_open_filtering (struct dataset *ds, bool filter)
     {
       struct dictionary *pd = ds->permanent_dict;
       size_t compacted_n_values = dict_count_values (pd, DC_SCRATCH);
-      if (compacted_n_values < dict_get_next_value_idx (pd))
+      assert (dict_count_values (pd, 0) == dict_get_n_vars (pd));
+      if (compacted_n_values < dict_get_n_vars (pd))
         {
           struct caseproto *compacted_proto;
           compacted_proto = dict_get_compacted_proto (pd, DC_SCRATCH);