diff options
Diffstat (limited to 'src/opt/res/resInt.h')
| -rw-r--r-- | src/opt/res/resInt.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/opt/res/resInt.h b/src/opt/res/resInt.h index f5c64f8e..54251722 100644 --- a/src/opt/res/resInt.h +++ b/src/opt/res/resInt.h @@ -48,6 +48,7 @@ struct Res_Win_t_ int nLevLeaves; // the level where leaves begin int nLevDivMax; // the maximum divisor level int nDivsPlus; // the number of additional divisors + int nLeavesPlus;// the number of additional leaves Abc_Obj_t * pNode; // the node in the center // the window data Vec_Vec_t * vLevels; // nodes by level |