From 14ebd476cf95146249bfd0963595d63b42d733b7 Mon Sep 17 00:00:00 2001 From: Your Name Date: Fri, 12 Apr 2024 19:15:04 -0400 Subject: [PATCH] No need for this header --- src/cryptominisat.cpp | 1 - 1 file changed, 1 deletion(-) diff --git a/src/cryptominisat.cpp b/src/cryptominisat.cpp index ead37897b..dea1e0c41 100644 --- 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"