Enabling additional stat printouts.

4d67a04b · Alan Mishchenko · a797ea0c · 4d67a04b
Commit 4d67a04b authored Dec 02, 2012 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 1 additions and 1 deletions

src/base/abci/abcRec3.c
+1 -1

No files found.
--- 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 );