A few more changes in the patch for CaDiCaL.

pysathq · Jul 7, 2020 · 3f86c28 · 3f86c28
1 parent 6b09c08
commit 3f86c28
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/solvers/patches/cadical.patch b/solvers/patches/cadical.patch
@@ -388,3 +388,15 @@ diff -Naur build/solvers/cadical/signal.cpp solvers/cadical/signal.cpp
  }
 
  }
+diff -Naur build/solvers/cadical/version.cpp solvers/cadical/version.cpp
+--- build/solvers/cadical/version.cpp	2019-07-12 22:22:02.000000000 +0200
++++ solvers/cadical/version.cpp	2019-12-02 08:41:16.375326400 +0100
+@@ -5,7 +5,7 @@
+ // defining '-DNBUILD'.  Then we try to guess part of the configuration.
+
+ #ifndef NBUILD
+-#include <build.hpp>
++#include "build.hpp"
+ #endif
+
+ /*------------------------------------------------------------------------*/