move startProfTimer() and stopProfTimer() to the public headers

2 files changed, 9 insertions, 3 deletions

diff --git a/includes/rts/prof/CCS.h b/includes/rts/prof/CCS.h
index e6c746b4bc..37285672b8 100644
--- a/includes/rts/prof/CCS.h
+++ b/includes/rts/prof/CCS.h
@@ -78,6 +78,15 @@ typedef struct CostCentreStack_ {
 
 
 /* -----------------------------------------------------------------------------
+ * Start and stop the profiling timer.  These can be called from
+ * Haskell to restrict the profile to portion(s) of the execution.
+ * See the module GHC.Profiling.
+ * ---------------------------------------------------------------------------*/
+
+void stopProfTimer      ( void );
+void startProfTimer     ( void );
+
+/* -----------------------------------------------------------------------------
  * The rest is PROFILING only...
  * ---------------------------------------------------------------------------*/
 
diff --git a/rts/Proftimer.h b/rts/Proftimer.h
index a8d16b45f4..4bb063fbbc 100644
--- a/rts/Proftimer.h
+++ b/rts/Proftimer.h
@@ -9,9 +9,6 @@
 #ifndef PROFTIMER_H
 #define PROFTIMER_H
 
-void stopProfTimer      ( void );
-void startProfTimer     ( void );
-
 #include "BeginPrivate.h"
 
 void initProfTimer      ( void );