mirror of
https://gitlab.alpinelinux.org/alpine/aports.git
synced 2026-03-28 08:52:07 +01:00
25 lines
728 B
Diff
25 lines
728 B
Diff
diff --git a/src/sat/bmc/bmcMaj8.c b/src/sat/bmc/bmcMaj8.c
|
|
index b0c5391a9..eb87ab9f0 100644
|
|
--- a/src/sat/bmc/bmcMaj8.c
|
|
+++ b/src/sat/bmc/bmcMaj8.c
|
|
@@ -46,6 +46,7 @@ ABC_NAMESPACE_IMPL_START
|
|
#include <unistd.h>
|
|
#endif
|
|
#include <limits.h>
|
|
+#include <stdint.h>
|
|
|
|
////////////////////////////////////////////////////////////////////////
|
|
/// DECLARATIONS ///
|
|
diff --git a/src/sat/bmc/bmcMaj9.c b/src/sat/bmc/bmcMaj9.c
|
|
index ea8ac9d17..9247d08c7 100644
|
|
--- a/src/sat/bmc/bmcMaj9.c
|
|
+++ b/src/sat/bmc/bmcMaj9.c
|
|
@@ -34,6 +34,7 @@ typedef __int64 int64_t;
|
|
#include <unistd.h>
|
|
#endif
|
|
#include <limits.h>
|
|
+#include <stdint.h>
|
|
|
|
#define KISSAT_UNSAT 20
|
|
#define KISSAT_SAT 10
|