| 1 | diff --git a/src/sat/bmc/bmcMaj8.c b/src/sat/bmc/bmcMaj8.c
|
| 2 | index b0c5391a9..eb87ab9f0 100644
|
| 3 | |
| 4 | |
| 5 | @@ -46,6 +46,7 @@ ABC_NAMESPACE_IMPL_START
|
| 6 | #include <unistd.h>
|
| 7 | #endif
|
| 8 | #include <limits.h>
|
| 9 | +#include <stdint.h>
|
| 10 |
|
| 11 | ////////////////////////////////////////////////////////////////////////
|
| 12 | /// DECLARATIONS ///
|
| 13 | diff --git a/src/sat/bmc/bmcMaj9.c b/src/sat/bmc/bmcMaj9.c
|
| 14 | index ea8ac9d17..9247d08c7 100644
|
| 15 | |
| 16 | |
| 17 | @@ -34,6 +34,7 @@ typedef __int64 int64_t;
|
| 18 | #include <unistd.h>
|
| 19 | #endif
|
| 20 | #include <limits.h>
|
| 21 | +#include <stdint.h>
|
| 22 |
|
| 23 | #define KISSAT_UNSAT 20
|
| 24 | #define KISSAT_SAT 10
|