diff options
Diffstat (limited to 'src/aig/fra/fraCec.c')
-rw-r--r-- | src/aig/fra/fraCec.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/fra/fraCec.c b/src/aig/fra/fraCec.c index aead8c9e..779337bf 100644 --- a/src/aig/fra/fraCec.c +++ b/src/aig/fra/fraCec.c @@ -166,7 +166,7 @@ PRT( "Time", clock() - clk ); // duplicate the AIG clk = clock(); -// pAig = Aig_ManDup( pTemp = pAig ); +// pAig = Aig_ManDupDfs( pTemp = pAig ); pAig = Dar_ManRwsat( pTemp = pAig, 0, 0 ); Aig_ManStop( pTemp ); if ( fVerbose ) |