From baab8c11f2769c29963bb0c6b2989203288a9b69 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 13 Jun 2018 21:44:16 -0700 Subject: Enabling user-specified output signature in &polyn (bug fix). --- src/proof/acec/acecPo.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/proof/acec') 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 ) { -- cgit v1.2.3