{
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);