From 4d67a04b1984727c61c684da455e91dd4b4ae9c7 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 2 Dec 2012 01:25:53 -0800 Subject: Enabling additional stat printouts. --- src/base/abci/abcRec3.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/base/abci') 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 ); -- cgit v1.2.3