2 files changed, 2 insertions, 0 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index 3fa1a8f7..028dddcc 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -50,6 +50,7 @@
 #include "map/cov/cov.h"
 #include "base/cmd/cmd.h"
 #include "proof/abs/abs.h"
+#include "sat/bmc/bmc.h"
 
 #ifndef _WIN32
 #include <unistd.h>
diff --git a/src/base/abci/abcDar.c b/src/base/abci/abcDar.c
index 83da1c60..cc703490 100644
--- a/src/base/abci/abcDar.c
+++ b/src/base/abci/abcDar.c
@@ -34,6 +34,7 @@
 #include "proof/cec/cec.h"
 #include "opt/csw/csw.h"
 #include "proof/pdr/pdr.h"
+#include "sat/bmc/bmc.h"
 
 ABC_NAMESPACE_IMPL_START