Don't close the stats file if it is stderr.
/* -----------------------------------------------------------------------------
/* -----------------------------------------------------------------------------
- * $Id: Stats.c,v 1.40 2001/11/27 16:35:57 simonmar Exp $
+ * $Id: Stats.c,v 1.41 2001/11/28 14:29:59 simonmar Exp $
*
* (c) The GHC Team, 1998-1999
*
*
* (c) The GHC Team, 1998-1999
*
+ if (sf != stderr) {
+ fclose(sf);
+ }