From 8ba2398138fe43acc8ea03db11a9380618dfe429 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 22 Feb 2012 00:46:52 -0800
Subject: [PATCH] Undoing a previuos change to not reset the status after &put.

---
 src/base/abci/abc.c     | 2 +-
 src/map/amap/amapPerm.c | 4 +++-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index 5cfb86f7a..80f61c5ae 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -22035,7 +22035,7 @@ int Abc_CommandAbc9Put( Abc_Frame_t * pAbc, int argc, char ** argv )
     }
     // replace the current network
     Abc_FrameReplaceCurrentNetwork( pAbc, pNtk );
-//    Abc_FrameClearVerifStatus( pAbc );
+    Abc_FrameClearVerifStatus( pAbc );
     return 0;
 
 usage:
diff --git a/src/map/amap/amapPerm.c b/src/map/amap/amapPerm.c
index 0177a66cf..8af42ca35 100644
--- a/src/map/amap/amapPerm.c
+++ b/src/map/amap/amapPerm.c
@@ -159,7 +159,7 @@ Vec_Int_t * Amap_LibDeriveGatePerm_rec( Amap_Lib_t * pLib, Kit_DsdNtk_t * pNtk,
     iDsdLit = 0;
     Vec_IntForEachEntry( vNodFanin, iNodFanin, k )
     {
-        if ( iNodFanin == 0 )
+        if ( iNodFanin == 0 && iDsdLit < Vec_IntSize(vDsdLits) )
         {
             iDsdFanin = Vec_IntEntry( vDsdLits, iDsdLit++ );
             Vec_IntPush( vPerm, iDsdFanin );
@@ -304,6 +304,8 @@ int Amap_LibDeriveGatePerm( Amap_Lib_t * pLib, Amap_Gat_t * pGate, Kit_DsdNtk_t
     int fVerbose = 0;
     Vec_Int_t * vPerm;
     int Entry, Entry2, i, k;
+//    Kit_DsdPrint( stdout, pNtk );
+
     vPerm = Amap_LibDeriveGatePerm_rec( pLib, pNtk, Abc_LitRegular(pNtk->Root), pNod );
     if ( vPerm == NULL )
         return 0;