This is not needed

msoos · Apr 11, 2024 · 6d11d2e · 6d11d2e
1 parent 90a43b5
commit 6d11d2e
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/cryptominisat.cpp b/src/cryptominisat.cpp
@@ -20,7 +20,6 @@ OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
 THE SOFTWARE.
 ***********************************************/
 
-#include "build/include/cryptominisat5/cryptominisat_c.h"
 #include "constants.h"
 #include "cryptominisat.h"
 #include "cryptominisat_c.h"