1 files changed, 2 insertions, 2 deletions
diff --git a/rts/sm/OSMem.h b/rts/sm/OSMem.h
index 69d87c201e..f6f9559c2e 100644
--- a/rts/sm/OSMem.h
+++ b/rts/sm/OSMem.h
@@ -18,8 +18,8 @@ void osReleaseFreeMemory(void);
 void osFreeAllMBlocks(void);
 size_t getPageSize (void);
 StgWord64 getPhysicalMemorySize (void);
-void setExecutable (void *p, W_ len, rtsBool exec);
-rtsBool osNumaAvailable(void);
+void setExecutable (void *p, W_ len, bool exec);
+bool osNumaAvailable(void);
 uint32_t osNumaNodes(void);
 StgWord osNumaMask(void);
 void osBindMBlocksToNode(void *addr, StgWord size, uint32_t node);