diff options
| -rw-r--r-- | src/opt/dau/dauNpn2.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/opt/dau/dauNpn2.c b/src/opt/dau/dauNpn2.c index ff3bf8f4..d5fdd1c7 100644 --- a/src/opt/dau/dauNpn2.c +++ b/src/opt/dau/dauNpn2.c @@ -996,8 +996,9 @@ void Dtt_DumpLibrary( Dtt_Man_t * p ) fflush( stdout ); } -void Dtt_EnumerateLf( int nVars, int nNodeMax, int fDelay, int fMulti, int fVerbose, int fDump ) +void Dtt_EnumerateLf( int nVars, int nNodeMax, int fDelay, int fMulti, int fVerbose ) { + int fDump = 1; abctime clk = Abc_Clock(); word nSteps = 0, nMultis = 0; Dtt_Man_t * p = Dtt_ManAlloc( nVars, fMulti ); int n, i, j; |