summaryrefslogtreecommitdiffstats
path: root/src/opt/fret
diff options
context:
space:
mode:
Diffstat (limited to 'src/opt/fret')
-rw-r--r--src/opt/fret/fretMain.c2
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;
}