From 9edf6ea091000eac047eb6a372a9dc79767d0e99 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 4 Aug 2017 14:40:51 +0900
Subject: New commands for backing up networks.

---
 src/base/main/mainFrame.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/base/main/mainFrame.c')

diff --git a/src/base/main/mainFrame.c b/src/base/main/mainFrame.c
index f7e9af7c..96373ad9 100644
--- a/src/base/main/mainFrame.c
+++ b/src/base/main/mainFrame.c
@@ -584,6 +584,8 @@ void Abc_FrameDeleteAllNetworks( Abc_Frame_t * p )
     Gia_ManStopP( &p->pGia );
     Gia_ManStopP( &p->pGia2 );
     Gia_ManStopP( &p->pGiaBest );
+    Gia_ManStopP( &p->pGiaBest2 );
+    Gia_ManStopP( &p->pGiaSaved );
 }
 
 /**Function*************************************************************
-- 
cgit v1.2.3