\begin{code}
#include "rtsdefs.h"

void
PatErrorHdrHook (FILE *where)
{
    fflush( stdout );			/* Flush out any pending output */

    fprintf(where, "\nFail: ");
}
\end{code}