From bd80d2e4594a431d699bf5b90f08c463fcea8393 Mon Sep 17 00:00:00 2001
From: Carmine50 <carmine.rizzi@hotmail.it>
Date: Sat, 21 Dec 2024 16:04:45 +0100
Subject: [PATCH] [CEC][SimGen][Warnings] Re-adjusted code to remove unused
 variables and avoid warnings compilation

---
 src/proof/cec/cecSatG2.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/proof/cec/cecSatG2.c b/src/proof/cec/cecSatG2.c
index c62acf878..c9a0f170f 100644
--- a/src/proof/cec/cecSatG2.c
+++ b/src/proof/cec/cecSatG2.c
@@ -3746,7 +3746,7 @@ int computeNetworkValues(Gia_Man_t * p, Cec_ParSimGen_t * pPars, int ObjId ,  ch
         validNum++;
         char mask_fanin = 1 << jth_fanin;
 
-        pSop = Vec_PtrEntry(vSops, validNum);
+        pSop = (char *) Vec_PtrEntry(vSops, validNum);
         char pSop1s = *pSop;
         pSop++;
         char pSopDCs = *pSop;