From a32dd8f7ed48e43d9689d90dc56299760ee55b66 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 9 Apr 2019 12:17:18 -0700 Subject: Small change to fix broken C++ build. --- src/opt/dau/dauNpn2.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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; -- cgit v1.2.3