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/bdd/extrab/extraBddUnate.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/bdd/extrab')

diff --git a/src/bdd/extrab/extraBddUnate.c b/src/bdd/extrab/extraBddUnate.c
index 9ebdd4e5..a8affc4f 100644
--- a/src/bdd/extrab/extraBddUnate.c
+++ b/src/bdd/extrab/extraBddUnate.c
@@ -197,7 +197,7 @@ void Extra_UnateInfoPrint( Extra_UnateInfo_t * p )
     char * pBuffer;
     int i;
     pBuffer = ABC_ALLOC( char, p->nVarsMax+1 );
-    memset( pBuffer, ' ', p->nVarsMax );
+    memset( pBuffer, ' ', (size_t)p->nVarsMax );
     pBuffer[p->nVarsMax] = 0;
     for ( i = 0; i < p->nVars; i++ )
         if ( p->pVars[i].Neg )
-- 
cgit v1.2.3