diff options
Diffstat (limited to 'src/map/if/if.h')
| -rw-r--r-- | src/map/if/if.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/map/if/if.h b/src/map/if/if.h index bdc505be..e8a4c604 100644 --- a/src/map/if/if.h +++ b/src/map/if/if.h @@ -193,6 +193,7 @@ struct If_Man_t_ int pPerm[3][IF_MAX_LUTSIZE]; // permutations unsigned uSharedMask; // mask of shared variables int nShared; // the number of shared variables + int fReqTimeWarn; // warning about exceeding required times was printed // SOP balancing Vec_Int_t * vCover; // used to compute ISOP Vec_Wrd_t * vAnds; // intermediate storage @@ -318,7 +319,7 @@ struct If_Box_t_ { char * pName; int Id; - int fWhite; + int fBlack; int nPis; int nPos; int * pDelays; |