diffblue
diff --git a/‎src/solvers/flattening/boolbv_width.cpp
Lines changed: 0 additions & 1 deletion b/‎src/solvers/flattening/boolbv_width.cpp
Lines changed: 0 additions & 1 deletion
diff --git a/‎src/util/bitvector.cpp renamed to ‎src/util/old/bitvector.cpp b/‎src/util/bitvector.cpp renamed to ‎src/util/old/bitvector.cpp
diff --git a/‎src/util/bitvector.h renamed to ‎src/util/old/bitvector.h b/‎src/util/bitvector.h renamed to ‎src/util/old/bitvector.h
diff --git a/‎src/util/oexpr.cpp renamed to ‎src/util/old/oexpr.cpp b/‎src/util/oexpr.cpp renamed to ‎src/util/old/oexpr.cpp
diff --git a/‎src/util/oexpr.h renamed to ‎src/util/old/oexpr.h b/‎src/util/oexpr.h renamed to ‎src/util/old/oexpr.h
@@ -11,7 +11,6 @@ Author: Daniel Kroening, [email protected]
 #include <util/arith_tools.h>
 #include <util/config.h>
 #include <util/std_types.h>
-#include <util/bitvector.h>
 
 #include "boolbv_width.h"