diff options
Diffstat (limited to 'src/base/wlc/wlc.h')
-rw-r--r-- | src/base/wlc/wlc.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/base/wlc/wlc.h b/src/base/wlc/wlc.h index 27ce427a..0a4f745c 100644 --- a/src/base/wlc/wlc.h +++ b/src/base/wlc/wlc.h @@ -160,6 +160,7 @@ struct Wlc_Ntk_t_ Mem_Flex_t * pMemFanin; Mem_Flex_t * pMemTable; Vec_Ptr_t * vTables; + Vec_Wrd_t * vLutTruths; // object names Abc_Nam_t * pManName; // object names Vec_Int_t vNameIds; // object name IDs |