*
* ---------------------------------------------------------------------------*/
-#ifndef __THREADLABELS_H__
-#define __THREADLABELS_H__
+#ifndef THREADLABELS_H
+#define THREADLABELS_H
+
+#include "BeginPrivate.h"
#if defined(DEBUG)
void initThreadLabelTable (void);
void labelThread (StgPtr tso, char *label);
#endif
-#endif /* __THREADLABELS_H__ */
+#include "EndPrivate.h"
+
+#endif /* THREADLABELS_H */