No need for this header

msoos · Apr 12, 2024 · 14ebd47 · 14ebd47
1 parent 5c2fec6
commit 14ebd47
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/cryptominisat.cpp b/src/cryptominisat.cpp
@@ -22,7 +22,6 @@ THE SOFTWARE.
 
 #include "constants.h"
 #include "cryptominisat.h"
-#include "cryptominisat_c.h"
 #include "solver.h"
 #include "frat.h"
 #include "shareddata.h"