summaryrefslogtreecommitdiffstats
path: root/src/base/exor
diff options
context:
space:
mode:
Diffstat (limited to 'src/base/exor')
-rw-r--r--src/base/exor/exor.c2
1 files changed, 1 insertions, 1 deletions
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 ) );
}
}