From 21de66600594c8779d3b5eedbb75b0c2466fca1d Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 13 Nov 2011 00:01:16 -0800
Subject: Bug fix in GLA PBA.

---
 src/aig/gia/giaDup.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/aig/gia/giaDup.c b/src/aig/gia/giaDup.c
index f1508375..e64ba002 100644
--- a/src/aig/gia/giaDup.c
+++ b/src/aig/gia/giaDup.c
@@ -1684,7 +1684,10 @@ Gia_Man_t * Gia_ManDupAbsGates( Gia_Man_t * p, Vec_Int_t * vGateClasses )
             assert( !Gia_LitIsCompl(pObj->Value) );
             pCopy = Gia_ObjCopy( pTemp, pObj );
             if ( !~pCopy->Value )
+            {
+                pObj->Value = ~0;
                 continue;
+            }
             assert( !Gia_LitIsCompl(pCopy->Value) );
             pObj->Value = pCopy->Value;
         }
-- 
cgit v1.2.3