From 3f86c28aa223c0d03a922902d6f870a7ca208347 Mon Sep 17 00:00:00 2001
From: Alexey Ignatiev <alexey.ignatiev@monash.edu>
Date: Tue, 7 Jul 2020 18:32:42 +1000
Subject: [PATCH] A few more changes in the patch for CaDiCaL.

---
 solvers/patches/cadical.patch | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/solvers/patches/cadical.patch b/solvers/patches/cadical.patch
index 89ecbac..d81b8b9 100644
--- 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
+ 
+ /*------------------------------------------------------------------------*/