1 files changed, 1 insertions, 12 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index fe054071..1ecab451 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -871,22 +871,11 @@ void Abc_End( Abc_Frame_t * pAbc )
 {
     extern Abc_Frame_t * Abc_FrameGetGlobalFrame();
     Abc_FrameClearDesign(); 
-
-    {
-//        extern void Au_TabManPrint();
-//        Au_TabManPrint();
-    }
-
-//    Dar_LibDumpPriorities();
+    Cnf_ManFree();
     {
         extern int Abc_NtkCompareAndSaveBest( Abc_Ntk_t * pNtk );
         Abc_NtkCompareAndSaveBest( NULL );
     }
-
-    {
-//        extern void Cnf_ClearMemory();
-        Cnf_ClearMemory();
-    }
     {
         extern void Dar_LibStop();
         Dar_LibStop();