1 files changed, 0 insertions, 29 deletions
diff --git a/extractor/veb_tree.h b/extractor/veb_tree.h
deleted file mode 100644
index 578d3e6a..00000000
--- a/extractor/veb_tree.h
+++ /dev/null
@@ -1,29 +0,0 @@
-#ifndef _VEB_TREE_H_
-#define _VEB_TREE_H_
-
-#include <memory>
-#include <vector>
-
-using namespace std;
-
-#include "veb.h"
-
-class VEBTree: public VEB {
- public:
-  VEBTree(int size);
-
-  void Insert(int value);
-
-  int GetSuccessor(int value);
-
- private:
-  int GetNextValue(int value);
-  int GetCluster(int value);
-  int Compose(int cluster, int value);
-
-  int lower_bits, upper_size;
-  shared_ptr<VEB> summary;
-  vector<shared_ptr<VEB> > clusters;
-};
-
-#endif