From cbb4515e43add78381b068252c0bf7ea85c5d170 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Tue, 27 Nov 2001 15:30:06 +0000
Subject: [PATCH] [project @ 2001-11-27 15:30:06 by simonmar] Don't forget
 about the "MANY" retainer set when dumping a retainer
 profile.

---
 ghc/rts/ProfHeap.c |    8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/ghc/rts/ProfHeap.c b/ghc/rts/ProfHeap.c
index 21e83e5..1f3f7d7 100644
--- a/ghc/rts/ProfHeap.c
+++ b/ghc/rts/ProfHeap.c
@@ -1,5 +1,5 @@
 /* -----------------------------------------------------------------------------
- * $Id: ProfHeap.c,v 1.27 2001/11/26 16:54:21 simonmar Exp $
+ * $Id: ProfHeap.c,v 1.28 2001/11/27 15:30:06 simonmar Exp $
  *
  * (c) The GHC Team, 1998-2000
  *
@@ -549,6 +549,12 @@ dumpCensus( Census *census )
 	{
 	    RetainerSet *rs = (RetainerSet *)ctr->identity;
 
+	    // it might be the distinguished retainer set rs_MANY:
+	    if (rs == &rs_MANY) {
+		fprintf(hp_file, "MANY");
+		break;
+	    }
+
 	    // Mark this retainer set by negating its id, because it
 	    // has appeared in at least one census.  We print the
 	    // values of all such retainer sets into the log file at
-- 
1.7.10.4