diff --git a/src/util/bit_vector.cpp b/src/util/bit_vector.cpp
index a24774279..e3a2bc331 100644
--- a/src/util/bit_vector.cpp
+++ b/src/util/bit_vector.cpp
@@ -18,7 +18,6 @@ Revision History:
 --*/
 #include<limits.h>
 #include"bit_vector.h"
-#include"util.h"
 #include"trace.h"
 
 #define DEFAULT_CAPACITY 2