From bbd170e8a3ab5cedd947ef2549487b74a65403da Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 4 Oct 2012 09:17:13 -0700
Subject: Minor bug fix.

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

diff --git a/src/base/main/mainFrame.c b/src/base/main/mainFrame.c
index d0edf8fc..809056c9 100644
--- a/src/base/main/mainFrame.c
+++ b/src/base/main/mainFrame.c
@@ -378,6 +378,9 @@ void Abc_FrameSetCurrentNetwork( Abc_Frame_t * p, Abc_Ntk_t * pNtkNew )
     int nNetsToSave;
     char * pValue;
 
+    if ( p->pNtkCur == pNtkNew )
+        return;
+
     // link it to the previous network
     Abc_NtkSetBackup( pNtkNew, p->pNtkCur );
     // set the step of this network
-- 
cgit v1.2.3