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