dictionary: Always compact immediately upon deletion of a variable.

[pspp] / src / data / dictionary.h

diff --git a/src/data/dictionary.h b/src/data/dictionary.h
index cec706b35503aa631d4a237ea13a848e59d505df..d6823ed854ae9008f9663e60e39dde80906972ee 100644 (file)
--- a/src/data/dictionary.h
+++ b/src/data/dictionary.h
@@ -120,8 +120,6 @@ const struct caseproto *dict_get_proto (const struct dictionary *);
 size_t dict_count_values (const struct dictionary *,
                           unsigned int exclude_classes);
 void dict_compact_values (struct dictionary *);
-struct caseproto *dict_get_compacted_proto (const struct dictionary *,
-                                            unsigned int exclude_classes);
 
 /* SPLIT FILE variables.
 
@@ -205,8 +203,7 @@ bool dict_id_is_valid (const struct dictionary *, const char *id);
 struct dict_callbacks
  {
   void (*var_added) (struct dictionary *, int, void *);
-  void (*var_deleted) (struct dictionary *, const struct variable *,
-                       int dict_index, int case_index, void *);
+  void (*vars_deleted) (struct dictionary *, int dict_index, unsigned int n, void *);
   void (*var_changed) (struct dictionary *, int, unsigned int, const struct variable *, void *);
   void (*weight_changed) (struct dictionary *, int, void *);
   void (*filter_changed) (struct dictionary *, int, void *);