From 8452f5cff36f82625858f5cf9cbf3c40f76699e9 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 5 Jun 2015 15:07:46 -0700
Subject: Sequential word-level simulator for Wlc_Ntk_t (bug fix).

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

(limited to 'src/aig/gia/giaDup.c')

diff --git a/src/aig/gia/giaDup.c b/src/aig/gia/giaDup.c
index 72fc86c0..11f68cb4 100644
--- a/src/aig/gia/giaDup.c
+++ b/src/aig/gia/giaDup.c
@@ -51,6 +51,8 @@ void Gia_ManDupRemapLiterals( Vec_Int_t * vLits, Gia_Man_t * p )
     int i, iLit, iLitNew;
     Vec_IntForEachEntry( vLits, iLit, i )
     {
+        if ( iLit < 0 )
+            continue;
         pObj = Gia_ManObj( p, Abc_Lit2Var(iLit) );
         if ( ~pObj->Value == 0 )
             iLitNew = -1;
-- 
cgit v1.2.3