Free more things that we allocate

[ghc-hetmet.git] / rts / Profiling.h

diff --git a/rts/Profiling.h b/rts/Profiling.h
index d968349..edfc1b2 100644 (file)
--- a/rts/Profiling.h
+++ b/rts/Profiling.h
@@ -13,6 +13,7 @@
 
 #if defined(PROFILING) || defined(DEBUG)
 void initProfiling1 ( void );
+void freeProfiling1 ( void );
 void initProfiling2 ( void );
 void endProfiling   ( void );