Skip to content

A
abc
Commit baab8c11 by Alan Mishchenko
Options

Enabling user-specified output signature in &polyn (bug fix).

parent 01d736cb
Showing with 1 additions and 1 deletions
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 * ...@@ -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_IntPush(vLevel, Entry);
Vec_IntForEachEntryStop( vLevel2, Entry, n, Vec_IntSize(vLevel2)-1 ) Vec_IntForEachEntryStop( vLevel2, Entry, n, Vec_IntSize(vLevel2)-1 )
Vec_IntPush(vLevel, Entry); 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 ) Vec_WecForEachLevel( vAdd, vLevel1, k )
{ {
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment