diff options
-rw-r--r-- | lib/instdone.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/instdone.h b/lib/instdone.h index 77c41242..b784bbc4 100644 --- a/lib/instdone.h +++ b/lib/instdone.h @@ -26,6 +26,7 @@ */ #include <stdint.h> +#include <stdbool.h> #define MAX_INSTDONE_BITS 100 |