From 7177663c27f00f7bbeb222f2c92c43d9da0ec308 Mon Sep 17 00:00:00 2001 From: simonmar Date: Tue, 13 Sep 2005 12:08:31 +0000 Subject: [PATCH] [project @ 2005-09-13 12:08:31 by simonmar] Remove onMutList() - it needs to be done differently in the HEAD --- ghc/rts/Sanity.c | 11 ----------- 1 file changed, 11 deletions(-) diff --git a/ghc/rts/Sanity.c b/ghc/rts/Sanity.c index d6b04a1..ae40bbe 100644 --- a/ghc/rts/Sanity.c +++ b/ghc/rts/Sanity.c @@ -937,15 +937,4 @@ checkLAGAtable(rtsBool check_closures) } #endif -int -onMutList(StgMutClosure *p, StgMutClosure *mut) -{ - int i; - for (i=0; mut != END_MUT_LIST; i++) { - if (mut == p) return i; - mut = mut->mut_link; - } - return -1; -} - #endif /* DEBUG */ -- 1.7.10.4