diff options
-rw-r--r-- | src/base/abci/abcRec3.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abci/abcRec3.c b/src/base/abci/abcRec3.c index 5e8d74b8..333c3cfa 100644 --- a/src/base/abci/abcRec3.c +++ b/src/base/abci/abcRec3.c @@ -1351,7 +1351,7 @@ void Abc_NtkRecDumpTt3( char * pFileName, int fBinary ) Extra_PrintHex( pFile, (unsigned *)pTruth, nVars ); fprintf( pFile, " " ); // Kit_DsdWriteFromTruth( pBuffer, (unsigned *)pTruth, nVars ); - Dau_DsdDecompose( pTruth, p->nVars, 0, 1, pBuffer ); + Dau_DsdDecompose( pTruth, p->nVars, 0, (int)(nVars <= 10), pBuffer ); fprintf( pFile, "%s\n", pBuffer ); } fclose( pFile ); |