From 3d24a458fbae1aee6cb6ced8d265140326681bbc Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Wed, 23 Jan 2013 10:43:32 +0000
Subject: [PATCH] add field for statistics to exo_index

---
 H/clause.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/H/clause.h b/H/clause.h
index 53362ad29..7657e6283 100644
--- 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;