add field for statistics to exo_index

2013-01-23 10:43:32 +00:00 · 2013-01-23 10:43:32 +00:00 · 3d24a458fb
commit 3d24a458fb
parent 3c021a41cf
1 changed files with 1 additions and 0 deletions
--- a/H/clause.h
+++ b/H/clause.h
@ -173,6 +173,7 @@ typedef struct index_t {
  CELL **key;
  CELL *cls;
  CELL *links;
+  size_t size;
  yamop *code;
 } Index_t;