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/proof/fra/fraImp.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/proof/fra')

diff --git a/src/proof/fra/fraImp.c b/src/proof/fra/fraImp.c
index 027d8eb2..4581e0a1 100644
--- a/src/proof/fra/fraImp.c
+++ b/src/proof/fra/fraImp.c
@@ -395,7 +395,7 @@ finish:
     }
     Vec_PtrFree( vNodes );
     // reorder implications topologically
-    qsort( (void *)Vec_IntArray(vImps), Vec_IntSize(vImps), sizeof(int), 
+    qsort( (void *)Vec_IntArray(vImps), (size_t)Vec_IntSize(vImps), sizeof(int), 
             (int (*)(const void *, const void *)) Sml_CompareMaxId );
 if ( p->pPars->fVerbose )
 {
-- 
cgit v1.2.3