fix error build

This commit is contained in:
aiquoc 2026-07-29 13:11:35 +08:00
parent bd52945300
commit 842a265d82
1 changed files with 1 additions and 2 deletions

View File

@ -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