diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2019-04-09 12:17:18 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2019-04-09 12:17:18 -0700 |
| commit | a32dd8f7ed48e43d9689d90dc56299760ee55b66 (patch) | |
| tree | 926929cc7691ed7c95eb931ac421f5c6e0efd7ef /src/opt | |
| parent | 95a5e47b6b24ab27dd9b7f52aadca17944ea0e66 (diff) | |
| download | abc-a32dd8f7ed48e43d9689d90dc56299760ee55b66.tar.gz abc-a32dd8f7ed48e43d9689d90dc56299760ee55b66.tar.bz2 abc-a32dd8f7ed48e43d9689d90dc56299760ee55b66.zip | |
Small change to fix broken C++ build.
Diffstat (limited to 'src/opt')
| -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; |