From fe2d7d961299e41b4d00540df6fb73a4094d5942 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 17 Feb 2012 00:24:38 -0800
Subject: Silencing some of the gcc warnings.

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

(limited to 'src/sat/bsat/satSolver2.c')

diff --git a/src/sat/bsat/satSolver2.c b/src/sat/bsat/satSolver2.c
index 80268a73..a17c4762 100644
--- a/src/sat/bsat/satSolver2.c
+++ b/src/sat/bsat/satSolver2.c
@@ -1241,7 +1241,7 @@ void sat_solver2_delete(sat_solver2* s)
     int fVerify = 0;
     if ( fVerify )
     {
-        veci * pCore = Sat_ProofCore( s );
+        veci * pCore = (veci *)Sat_ProofCore( s );
         printf( "UNSAT core contains %d clauses (%6.2f %%).\n", veci_size(pCore), 100.0*veci_size(pCore)/veci_size(&s->clauses) );
         veci_delete( pCore );
         ABC_FREE( pCore ); 
-- 
cgit v1.2.3