diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-11-08 11:44:37 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-11-08 11:44:37 -0800 |
| commit | 96d8f899d93dcf51d98a370deb5d4fcb67bb271c (patch) | |
| tree | b234898fecfab9d047338b58fe6715d47b4319c9 /src/opt/fret | |
| parent | e50fc467fd54420cf262bf5266959f6c02a65bf7 (diff) | |
| download | abc-96d8f899d93dcf51d98a370deb5d4fcb67bb271c.tar.gz abc-96d8f899d93dcf51d98a370deb5d4fcb67bb271c.tar.bz2 abc-96d8f899d93dcf51d98a370deb5d4fcb67bb271c.zip | |
Extending and improving timing manager.
Diffstat (limited to 'src/opt/fret')
| -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; } |