From 574cf1022d9de90927b68586589db99408aff17d Mon Sep 17 00:00:00 2001
From: Mathias Soeken <mathias.soeken@epfl.ch>
Date: Mon, 6 Mar 2017 16:34:15 +0100
Subject: Fix wrong type cast.

---
 src/sat/satoko/solver.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/sat/satoko/solver.c')

diff --git a/src/sat/satoko/solver.c b/src/sat/satoko/solver.c
index 42bc6448..18d00ba2 100644
--- a/src/sat/satoko/solver.c
+++ b/src/sat/satoko/solver.c
@@ -437,7 +437,7 @@ static inline void solver_reduce_cdb(solver_t *s)
 
     limit = (unsigned)(n_learnts * s->opts.learnt_ratio);
 
-    satoko_sort((void *)learnts_cls, n_learnts,
+    satoko_sort((void **)learnts_cls, n_learnts,
             (int (*)(const void *, const void *)) clause_compare);
 
     if (learnts_cls[n_learnts / 2]->lbd <= 3)
-- 
cgit v1.2.3