rts_isProfiled should be a visible API (fixes T2615(dyn))

includes/rts/prof/CCS.h

@@ -14,6 +14,9 @@
 #ifndef RTS_PROF_CCS_H
 #define RTS_PROF_CCS_H
 
+// Returns non-zero if the RTS is a profiling version
+int rts_isProfiled(void);
+
 /* -----------------------------------------------------------------------------
  * Data Structures 
  * ---------------------------------------------------------------------------*/  

rts/RtsUtils.h

@@ -46,8 +46,6 @@ void printRtsInfo(void);
 /* Alternate to raise(3) for threaded rts, for OpenBSD */
 int genericRaise(int sig);
 
-int rts_isProfiled(void);
-
 #include "EndPrivate.h"
 
 #endif /* RTSUTILS_H */