summaryrefslogtreecommitdiffstats
path: root/src/base/abci/abcNtbdd.c
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2020-05-03 19:09:02 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2020-05-03 19:09:02 -0700
commitf026e6533987a1628be38cfe828f167d4aaff760 (patch)
treec75526c8db14580f581137701a0c6f1a17e06351 /src/base/abci/abcNtbdd.c
parente149cdcd77de5023782cf2cd16e98aa20473b89c (diff)
downloadabc-f026e6533987a1628be38cfe828f167d4aaff760.tar.gz
abc-f026e6533987a1628be38cfe828f167d4aaff760.tar.bz2
abc-f026e6533987a1628be38cfe828f167d4aaff760.zip
Compiler warnings and errors.
Diffstat (limited to 'src/base/abci/abcNtbdd.c')
-rw-r--r--src/base/abci/abcNtbdd.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abci/abcNtbdd.c b/src/base/abci/abcNtbdd.c
index d3a19d83..aa35aa6a 100644
--- a/src/base/abci/abcNtbdd.c
+++ b/src/base/abci/abcNtbdd.c
@@ -286,7 +286,7 @@ int Abc_NtkBddToMuxesPerformGlo( Abc_Ntk_t * pNtk, Abc_Ntk_t * pNtkNew, int Limi
// complement the global functions
Abc_NtkForEachCo( pNtk, pObj, i )
{
- DdNode * bFunc = Abc_ObjGlobalBdd(pObj);
+ DdNode * bFunc = (DdNode *)Abc_ObjGlobalBdd(pObj);
pObjNew = Abc_NodeBddToMuxes_rec( dd, Cudd_Regular(bFunc), pNtkNew, tBdd2Node );
if ( Cudd_IsComplement(bFunc) )
pObjNew = Abc_NtkCreateNodeInv( pNtkNew, pObjNew );