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 5d4f374e..f0ea18d3 100644 --- a/src/base/wlc/wlc.h +++ b/src/base/wlc/wlc.h @@ -192,6 +192,7 @@ struct Wla_Man_t_ Wlc_Par_t * pPars; Vec_Vec_t * vClauses; Vec_Int_t * vBlacks; + Vec_Int_t * vSignals; Abc_Cex_t * pCex; Gia_Man_t * pGia; Vec_Bit_t * vUnmark; |