From 842a265d825d036575420a1675cf5b48900e7f9a Mon Sep 17 00:00:00 2001
From: aiquoc <aiquocvt@gmail.com>
Date: Wed, 29 Jul 2026 13:11:35 +0800
Subject: [PATCH] fix error build

---
 src/base/acb/acbXec.h | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

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