From d36d7322cd535f9951857c5cb80969c3d7ec3a02 Mon Sep 17 00:00:00 2001
From: sof <unknown>
Date: Sat, 23 Jan 1999 17:52:21 +0000
Subject: [PATCH] [project @ 1999-01-23 17:52:21 by sof] docfix

---
 ghc/rts/RtsFlags.h |    4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/ghc/rts/RtsFlags.h b/ghc/rts/RtsFlags.h
index ce6ba6d..a82ec51 100644
--- a/ghc/rts/RtsFlags.h
+++ b/ghc/rts/RtsFlags.h
@@ -1,5 +1,5 @@
 /* -----------------------------------------------------------------------------
- * $Id: RtsFlags.h,v 1.4 1999/01/19 15:07:55 simonm Exp $
+ * $Id: RtsFlags.h,v 1.5 1999/01/23 17:52:21 sof Exp $
  *
  * Datatypes that holds the command-line flag settings.
  *
@@ -221,7 +221,7 @@ struct TICKY_FLAGS {
 
 struct RTS_FLAGS {
     struct GC_FLAGS	GcFlags;
-    struct DEBUG_FLAGS	DebugFlags; /* unused at present */
+    struct DEBUG_FLAGS	DebugFlags;
     struct CONCURRENT_FLAGS ConcFlags;
 
 #if defined(PROFILING) || defined(PAR)
-- 
1.7.10.4