1 files changed, 0 insertions, 29 deletions
diff --git a/extractor/veb.h b/extractor/veb.h
deleted file mode 100644
index c8209cf7..00000000
--- a/extractor/veb.h
+++ /dev/null
@@ -1,29 +0,0 @@
-#ifndef _VEB_H_
-#define _VEB_H_
-
-#include <memory>
-
-using namespace std;
-
-class VEB {
- public:
-  static shared_ptr<VEB> Create(int size);
-
-  virtual void Insert(int value) = 0;
-
-  virtual int GetSuccessor(int value) = 0;
-
-  int GetMinimum();
-
-  int GetMaximum();
-
-  static int MIN_BOTTOM_BITS;
-  static int MIN_BOTTOM_SIZE;
-
- protected:
-  VEB(int min = -1, int max = -1);
-
-  int min, max;
-};
-
-#endif