/* -----------------------------------------------------------------------------
- * $Id: RtsFlags.h,v 1.40 2001/11/26 16:54:22 simonmar Exp $
+ * $Id: RtsFlags.h,v 1.42 2002/07/17 09:21:49 simonmar Exp $
*
* (c) The GHC Team, 1998-1999
*
#ifndef RTSFLAGS_H
#define RTSFLAGS_H
+#include <stdio.h>
+
/* For defaults, see the @initRtsFlagsDefaults@ routine. */
struct GC_FLAGS {
char* descrSelector;
char* typeSelector;
char* ccSelector;
+ char* ccsSelector;
char* retainerSelector;
char* bioSelector;