diff options
Diffstat (limited to 'src/opt/dau')
| -rw-r--r-- | src/opt/dau/dauNpn.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/opt/dau/dauNpn.c b/src/opt/dau/dauNpn.c index b6ec9fa0..debb19f8 100644 --- a/src/opt/dau/dauNpn.c +++ b/src/opt/dau/dauNpn.c @@ -628,6 +628,7 @@ int Dau_InsertFunction( Abc_TtHieMan_t * pMan, word * pCur, int nNodes, int nInp // Dau_TablesSave( nInputs, nVars0, vTtMem, vTtMemA, vNodSup, vMapping, nFronts, clk ); return 0; } + Entry = 0; Phase = 0; //printf( "%d ", Dau_CountCompl(pCur[0], nVarsNew) ); // this is a new class |