diff options
Diffstat (limited to 'src/aig/fra/fraLcr.c')
| -rw-r--r-- | src/aig/fra/fraLcr.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/fra/fraLcr.c b/src/aig/fra/fraLcr.c index daa789a8..a6460ed7 100644 --- a/src/aig/fra/fraLcr.c +++ b/src/aig/fra/fraLcr.c @@ -550,7 +550,7 @@ timeSim = clock() - clk2; // get preliminary info about equivalence classes pTemp->pCla = p->pCla = Fra_ClassesStart( p->pAig ); - Fra_ClassesPrepare( p->pCla, 1 ); + Fra_ClassesPrepare( p->pCla, 1, 0 ); p->pCla->pFuncNodeIsConst = Fra_LcrNodeIsConst; p->pCla->pFuncNodesAreEqual = Fra_LcrNodesAreEqual; Fra_SmlStop( pTemp->pSml ); |