diff --git a/src/base/acb/acbXec.h b/src/base/acb/acbXec.h
index c774f52af..a85c80f5b 100644
--- a/src/base/acb/acbXec.h
+++ b/src/base/acb/acbXec.h
@@ -14,8 +14,7 @@
 #define ABC__base__acb__acbXec_h
 
 #include "acb.h"
-
-typedef struct Cnf_Dat_t_ Cnf_Dat_t;
+#include "sat/cnf/cnf.h"
 
 ABC_NAMESPACE_HEADER_START