From 609be7a1144a898143819842e34e637865d4e24b Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 8 Jul 2015 15:04:26 -0700
Subject: C++ compiler typecast problem.

---
 src/map/if/ifTune.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/map/if/ifTune.c')

diff --git a/src/map/if/ifTune.c b/src/map/if/ifTune.c
index 7fe7a4bb..bde72059 100644
--- a/src/map/if/ifTune.c
+++ b/src/map/if/ifTune.c
@@ -709,7 +709,7 @@ int If_ManSatFindCofigBits( void * pSat, Vec_Int_t * vPiVars, Vec_Int_t * vPoVar
     Vec_IntClear( vValues );
     if ( RetValue == 0 )
         return 0;
-    Ifn_ManSatDeriveOne( pSat, vPiVars, vValues );
+    Ifn_ManSatDeriveOne( (sat_solver*)pSat, vPiVars, vValues );
     return 1;
 }
 int Ifn_ManSatFindCofigBitsTest( Ifn_Ntk_t * p, word * pTruth, int nVars, word Perm )
-- 
cgit v1.2.3