diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-03-04 17:11:33 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-03-04 17:11:33 -0800 |
| commit | 87d39b40aa15a9b64cd16fcc6dbe702ec20bff55 (patch) | |
| tree | 3053e1d1ef498cbe135185f339603da6a3d2d039 | |
| parent | ef893337741de07a94d2cf6056b1ca6822a5e28e (diff) | |
| download | abc-87d39b40aa15a9b64cd16fcc6dbe702ec20bff55.tar.gz abc-87d39b40aa15a9b64cd16fcc6dbe702ec20bff55.tar.bz2 abc-87d39b40aa15a9b64cd16fcc6dbe702ec20bff55.zip | |
Missing type cast after one of the previous changes.
| -rw-r--r-- | src/base/abci/abcNtbdd.c | 3 |
1 files changed, 2 insertions, 1 deletions
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; |