From 87d39b40aa15a9b64cd16fcc6dbe702ec20bff55 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 4 Mar 2011 17:11:33 -0800 Subject: Missing type cast after one of the previous changes. --- src/base/abci/abcNtbdd.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src') diff --git a/src/base/abci/abcNtbdd.c b/src/base/abci/abcNtbdd.c index 33226a19..e3df605e 100644 --- a/src/base/abci/abcNtbdd.c +++ b/src/base/abci/abcNtbdd.c @@ -53,8 +53,9 @@ static DdNode * Abc_NodeGlobalBdds_rec( DdManager * dd, Abc_Obj_t * pNode, in SeeAlso [] ***********************************************************************/ -Abc_Ntk_t * Abc_NtkDeriveFromBdd( DdManager * dd, void * bFunc, char * pNamePo, Vec_Ptr_t * vNamesPi ) +Abc_Ntk_t * Abc_NtkDeriveFromBdd( void * dd0, void * bFunc, char * pNamePo, Vec_Ptr_t * vNamesPi ) { + DdManager * dd = (DdManager *)dd0; Abc_Ntk_t * pNtk; Vec_Ptr_t * vNamesPiFake = NULL; Abc_Obj_t * pNode, * pNodePi, * pNodePo; -- cgit v1.2.3