/* -----------------------------------------------------------------------------
- * $Id: RetainerSet.h,v 1.2 2001/11/26 16:54:21 simonmar Exp $
*
* (c) The GHC Team, 2001
* Author: Sungwoo Park
#ifndef RETAINERSET_H
#define RETAINERSET_H
+#include <stdio.h>
+
#ifdef PROFILING
/*
// the best place to define it.
void printRetainer(FILE *, retainer);
-#endif // PROFILING
-#endif // RETAINERSET_H
+#endif /* PROFILING */
+#endif /* RETAINERSET_H */