diff --git a/rts/IPE.c b/rts/IPE.c
index 2e4088fee94e9ce0243f3d2416f9f71fd2f7cfe7..1306cef0e0a58e08750a6bfe0a9ab80397625bde 100644
--- a/rts/IPE.c
+++ b/rts/IPE.c
@@ -79,6 +79,7 @@ static HashTable *ipeMap = NULL;
 static IpeBufferListNode *ipeBufferList = NULL;
 
 static void decompressIPEBufferListNodeIfCompressed(IpeBufferListNode*);
+static void updateIpeMap(void);
 
 #if defined(THREADED_RTS)
 
diff --git a/rts/IPE.h b/rts/IPE.h
index cc2d4eca504b93494c5f18bb39e1adba0616d29a..d8d6e5fa6a8f9a51985caa43e736e063fe79393d 100644
--- a/rts/IPE.h
+++ b/rts/IPE.h
@@ -14,7 +14,6 @@
 #include "BeginPrivate.h"
 
 void dumpIPEToEventLog(void);
-void updateIpeMap(void);
 void initIpe(void);
 void exitIpe(void);