diff --git a/SATInterface/CaDiCaL.dll b/SATInterface/CaDiCaL.dll
index 90c5537..1f9d875 100644
Binary files a/SATInterface/CaDiCaL.dll and b/SATInterface/CaDiCaL.dll differ