No need for this

msoos · Apr 12, 2024 · e3d0bc5 · e3d0bc5
1 parent 4ddb02f
commit e3d0bc5
Showing 1 changed file with 0 additions and 5 deletions.
diff --git a/src/cnf.h b/src/cnf.h
@@ -39,11 +39,6 @@ THE SOFTWARE.
 #include "gausswatched.h"
 #include "xor.h"
 
-#ifdef ARJUN_SERIALIZE
-#include <boost/serialization/vector.hpp>
-#endif
-
-
 namespace CMSat {
 
 class ClauseAllocator;