diff options
Diffstat (limited to 'src/opt/fret/fretMain.c')
| -rw-r--r-- | src/opt/fret/fretMain.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/fret/fretMain.c b/src/opt/fret/fretMain.c index 534b6df8..f742cda0 100644 --- a/src/opt/fret/fretMain.c +++ b/src/opt/fret/fretMain.c @@ -350,7 +350,7 @@ Abc_FlowRetime_MainLoop( ) { // assert(!pManMR->fComputeInitState || pManMR->pInitNtk); if (pManMR->fComputeInitState) Abc_NtkDelete(pManMR->pInitNtk); - if (pManMR->fGuaranteeInitState) ; /* Abc_NtkDelete(pNtkCopy); note: original ntk deleted later */ +// if (pManMR->fGuaranteeInitState) ; /* Abc_NtkDelete(pNtkCopy); note: original ntk deleted later */ return pNtk; } |