label: remove unused 'RTree' timing members

diff --git a/lib/label/index.h b/lib/label/index.h
index db4d047d2575919e98847dee86861e3a1d35e864..cab541c03e9c4a1f51b1daf9e6a5082067f39440 100644 (file)
--- a/lib/label/index.h
+++ b/lib/label/index.h
@@ -72,10 +72,6 @@ typedef struct LeafList {
 
     /* balance criterion for node splitting */
     int MinFill;
-
-    /* times */
-    long ElapsedTime;
-    float UserTime, SystemTime;
 };
 
 typedef struct ListNode {