#ifndef PRINTER_H
#define PRINTER_H
-#pragma GCC visibility push(hidden)
+#include "BeginPrivate.h"
extern void printPtr ( StgPtr p );
extern void printObj ( StgClosure *obj );
extern char *what_next_strs[];
#endif
-#pragma GCC visibility pop
+#include "EndPrivate.h"
#endif /* PRINTER_H */