1 files changed, 2 insertions, 0 deletions
diff --git a/src/base/main/mainInt.h b/src/base/main/mainInt.h
index c7535c74..4082bab0 100644
--- a/src/base/main/mainInt.h
+++ b/src/base/main/mainInt.h
@@ -129,6 +129,8 @@ struct Abc_Frame_t_
     void *          pAbc85Delay;
     void *          pAbcWlc;
     Vec_Int_t *     pAbcWlcInv;
+    Vec_Int_t *     pAbcWlcCnf;
+    Vec_Str_t *     pAbcWlcStr;
     void *          pAbcBac;
     void *          pAbcCba;
     void *          pAbcPla;