From 01569b8f5f2394c534c3aba7276caf22493fce82 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 5 Mar 2019 15:57:50 -0800
Subject: Fixing some warnings by adding cast from 'int' to 'size_t' in memset,
 memcpy, etc.

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

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

diff --git a/src/sat/satoko/solver_api.c b/src/sat/satoko/solver_api.c
index 0193b1c3..4775e445 100644
--- a/src/sat/satoko/solver_api.c
+++ b/src/sat/satoko/solver_api.c
@@ -259,7 +259,7 @@ int satoko_add_clause(solver_t *s, int *lits, int size)
     unsigned max_var;
     unsigned cref;
 
-    qsort((void *) lits, size, sizeof(unsigned), stk_uint_compare);
+    qsort((void *) lits, (size_t)size, sizeof(unsigned), stk_uint_compare);
     max_var = lit2var(lits[size - 1]);
     while (max_var >= vec_act_size(s->activity))
         satoko_add_variable(s, SATOKO_LIT_FALSE);
-- 
cgit v1.2.3