diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-02-25 08:03:12 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-02-25 08:03:12 -0800 |
commit | 15a1c4b96507b524959d171a26b796d6263ea284 (patch) | |
tree | b61cda95791214e0113507f2f076509611be98dd /src/map | |
parent | 59bf6945e2481afd8b16fd8c7075bc349d1fbb68 (diff) | |
download | abc-15a1c4b96507b524959d171a26b796d6263ea284.tar.gz abc-15a1c4b96507b524959d171a26b796d6263ea284.tar.bz2 abc-15a1c4b96507b524959d171a26b796d6263ea284.zip |
g++ compiler errors.
Diffstat (limited to 'src/map')
-rw-r--r-- | src/map/if/ifDsd.c | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/src/map/if/ifDsd.c b/src/map/if/ifDsd.c index 90874b87..f387e645 100644 --- a/src/map/if/ifDsd.c +++ b/src/map/if/ifDsd.c @@ -105,8 +105,6 @@ static inline If_DsdObj_t * If_DsdObjFanin( Vec_Ptr_t * p, If_DsdObj_t * pObj, i #define If_DsdObjForEachFaninLit( vVec, pObj, iLit, i ) \ for ( i = 0; (i < If_DsdObjFaninNum(pObj)) && ((iLit) = If_DsdObjFaninLit(pObj, i)); i++ ) -extern void Kit_DsdPrintFromTruth( unsigned * pTruth, int nVars ); - //////////////////////////////////////////////////////////////////////// /// FUNCTION DEFINITIONS /// //////////////////////////////////////////////////////////////////////// @@ -404,7 +402,7 @@ void If_DsdManDump( If_DsdMan_t * p ) Abc_TtPrintHexRev( pFile, If_DsdObjTruth(p, pObj), p->nVars ); fprintf( pFile, "\n" ); printf( " " ); - Kit_DsdPrintFromTruth( (unsigned *)If_DsdObjTruth(p, pObj), p->nVars ); + Dau_DsdPrintFromTruth( If_DsdObjTruth(p, pObj), p->nVars ); printf( "\n" ); } fclose( pFile ); @@ -899,8 +897,8 @@ int If_DsdManCompute( If_DsdMan_t * p, word * pTruth, int nLeaves, unsigned char // If_DsdManPrint( p, NULL ); printf( "\n" ); printf( "Verification failed!\n" ); - Kit_DsdPrintFromTruth( (unsigned *)pTruth, nLeaves ); printf( "\n" ); - Kit_DsdPrintFromTruth( (unsigned *)pRes, nLeaves ); printf( "\n" ); + Dau_DsdPrintFromTruth( pTruth, nLeaves ); printf( "\n" ); + Dau_DsdPrintFromTruth( pRes, nLeaves ); printf( "\n" ); If_DsdManPrintOne( stdout, p, Abc_Lit2Var(iDsd), pPerm ); printf( "\n" ); } |