From 95523936e9028f392b80a95c0eebda3a0c731f33 Mon Sep 17 00:00:00 2001
From: Heinz Riener <heinz.riener@gmail.com>
Date: Wed, 17 Oct 2018 17:02:43 +0200
Subject: &exorcism: read ESOP-PLA from file.

---
 src/base/exor/exor.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/base/exor/exor.c')

diff --git a/src/base/exor/exor.c b/src/base/exor/exor.c
index 75cd9e3f..6e95b84e 100644
--- a/src/base/exor/exor.c
+++ b/src/base/exor/exor.c
@@ -1005,7 +1005,7 @@ Vec_Wec_t * Abc_ExorcismNtk2Esop( Abc_Ntk_t * pNtk )
                     Vec_IntPush( vCubeIn, 2*k );
                 }
             }
-            Vec_IntPush( vCubeIn, -1 );
+            Vec_IntPush( vCubeIn, -( i + 1 ) );
         }
     }
 
-- 
cgit v1.2.3