diff options
author | Heinz Riener <heinz.riener@gmail.com> | 2018-10-17 17:02:43 +0200 |
---|---|---|
committer | Heinz Riener <heinz.riener@gmail.com> | 2018-10-17 17:02:43 +0200 |
commit | 95523936e9028f392b80a95c0eebda3a0c731f33 (patch) | |
tree | 2ffcb64c2c2e21d826c96567da846e88bbdb3eac /src/base/exor/exor.c | |
parent | 88185a02e2e3cfb23891f14a59bb58d452da1935 (diff) | |
download | abc-95523936e9028f392b80a95c0eebda3a0c731f33.tar.gz abc-95523936e9028f392b80a95c0eebda3a0c731f33.tar.bz2 abc-95523936e9028f392b80a95c0eebda3a0c731f33.zip |
&exorcism: read ESOP-PLA from file.
Diffstat (limited to 'src/base/exor/exor.c')
-rw-r--r-- | src/base/exor/exor.c | 2 |
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 ) ); } } |