1 files changed, 0 insertions, 22 deletions
diff --git a/extractor/veb_bitset.h b/extractor/veb_bitset.h
deleted file mode 100644
index f8a91234..00000000
--- a/extractor/veb_bitset.h
+++ /dev/null
@@ -1,22 +0,0 @@
-#ifndef _VEB_BITSET_H_
-#define _VEB_BITSET_H_
-
-#include <boost/dynamic_bitset.hpp>
-
-#include "veb.h"
-
-class VEBBitset: public VEB {
- public:
-  VEBBitset(int size);
-
-  void Insert(int value);
-
-  int GetMinimum();
-
-  int GetSuccessor(int value);
-
- private:
-  boost::dynamic_bitset<> bitset;
-};
-
-#endif