luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Small bug fix in printing DSD for Boolean functions.

This commit is contained in:
Alan Mishchenko 2012-01-14 18:03:06 -08:00
parent 7a3c33e169
commit 4748f6988e
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/aig/kit/kitDsd.c
View File

@ -346,7 +346,7 @@ void Kit_DsdPrint_rec( FILE * pFile, Kit_DsdNtk_t * pNtk, int Id )
Symbol = ',';
if ( pObj->Type == KIT_DSD_PRIME )
Kit_DsdPrintHex( stdout, Kit_DsdObjTruth(pObj), pObj->nFans );
Kit_DsdPrintHex( pFile, Kit_DsdObjTruth(pObj), pObj->nFans );
fprintf( pFile, "(" );
Kit_DsdObjForEachFanin( pNtk, pObj, iLit, i )