1 files changed, 2 insertions, 0 deletions
diff --git a/rts/RtsFlags.h b/rts/RtsFlags.h
index c36c64a63b..bfcc43af42 100644
--- a/rts/RtsFlags.h
+++ b/rts/RtsFlags.h
@@ -10,6 +10,7 @@
 #pragma once
 
 #include "BeginPrivate.h"
+#include <stdbool.h>
 
 /* Routines that operate-on/to-do-with RTS flags: */
 
@@ -21,6 +22,7 @@ char** getUTF8Args(int* argc);
 void initRtsFlagsDefaults (void);
 void setupRtsFlags        (int *argc, char *argv[], RtsConfig rtsConfig);
 void freeRtsArgs          (void);
+bool is_io_mng_native_p   (void);
 
 extern RtsConfig rtsConfig;