From 45d82477b70b1457fb675b2498b5a88438281f27 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 12 Apr 2013 00:10:21 -0700
Subject: [PATCH] Saving network name in 'blockpo'.

---
 src/base/abci/abc.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index 48bcce4da..49dcdce09 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -23455,7 +23455,9 @@ int Abc_CommandBlockPo( Abc_Frame_t * pAbc, int argc, char ** argv )
     Saig_ManBlockPo( pAig, nCycles );
     pNtkNew = Abc_NtkFromAigPhase( pAig );
     Aig_ManStop( pAig );
-
+    // transfer the name
+    pNtkNew->pName = Extra_UtilStrsav(pNtk->pName);
+    pNtkNew->pSpec = Extra_UtilStrsav(pNtk->pSpec);
     // replace the current network
     Abc_FrameReplaceCurrentNetwork( pAbc, pNtkNew );
     return 0;