1 files changed, 18 insertions, 0 deletions
diff --git a/rts/IPE.h b/rts/IPE.h
new file mode 100644
index 0000000000..48b4c62f00
--- /dev/null
+++ b/rts/IPE.h
@@ -0,0 +1,18 @@
+/* -----------------------------------------------------------------------------
+ *
+ * (c) The GHC Team, 1998-2005
+ *
+ * Support for IPE
+ *
+ * ---------------------------------------------------------------------------*/
+
+#pragma once
+
+#include <stdio.h>
+#include "Rts.h"
+
+#include "BeginPrivate.h"
+
+void dumpIPEToEventLog(void);
+
+#include "EndPrivate.h"