diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-06-13 21:44:16 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-06-13 21:44:16 -0700 |
| commit | baab8c11f2769c29963bb0c6b2989203288a9b69 (patch) | |
| tree | 81c09834ad05f3742485cfc582c072ca2644346c /src/proof/acec | |
| parent | 01d736cba40f0bc12139fed73679c92b1f6bb383 (diff) | |
| download | abc-baab8c11f2769c29963bb0c6b2989203288a9b69.tar.gz abc-baab8c11f2769c29963bb0c6b2989203288a9b69.tar.bz2 abc-baab8c11f2769c29963bb0c6b2989203288a9b69.zip | |
Enabling user-specified output signature in &polyn (bug fix).
Diffstat (limited to 'src/proof/acec')
| -rw-r--r-- | src/proof/acec/acecPo.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/proof/acec/acecPo.c b/src/proof/acec/acecPo.c index 79992fb2..6b992714 100644 --- a/src/proof/acec/acecPo.c +++ b/src/proof/acec/acecPo.c @@ -98,7 +98,7 @@ Vec_Wec_t * Acec_ParseDistribute( Vec_Wec_t * vM1, Vec_Wec_t * vM2, Vec_Wec_t * Vec_IntPush(vLevel, Entry); Vec_IntForEachEntryStop( vLevel2, Entry, n, Vec_IntSize(vLevel2)-1 ) Vec_IntPush(vLevel, Entry); - Vec_IntPush(vLevel, Vec_IntEntryLast(vLevel1)+Vec_IntEntryLast(vLevel2)); + Vec_IntPush(vLevel, Vec_IntEntryLast(vLevel1)+Vec_IntEntryLast(vLevel2)-1); } Vec_WecForEachLevel( vAdd, vLevel1, k ) { |