Cosmetic improvements, no change in Papi functionality.

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

diff --git a/rts/Papi.h b/rts/Papi.h
index 940ec51..1060ca2 100644 (file)
--- a/rts/Papi.h
+++ b/rts/Papi.h
@@ -1,3 +1,9 @@
+/* -----------------------------------------------------------------------------
+ * (c) The GHC Team 2006
+ * 
+ * Initialization and use of the PAPI performance monitoring library
+ *
+ * ---------------------------------------------------------------------------*/
 
 
 #include <papi.h>