diff options
Diffstat (limited to 'ghc/rts/GC.h')
| -rw-r--r-- | ghc/rts/GC.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ghc/rts/GC.h b/ghc/rts/GC.h index 212620e623..9b0e9622cb 100644 --- a/ghc/rts/GC.h +++ b/ghc/rts/GC.h @@ -1,5 +1,5 @@ /* ----------------------------------------------------------------------------- - * $Id: GC.h,v 1.5 2000/01/13 14:34:03 hwloidl Exp $ + * $Id: GC.h,v 1.6 2000/04/11 16:36:53 sewardj Exp $ * * (c) The GHC Team, 1998-1999 * @@ -9,4 +9,4 @@ void threadPaused(StgTSO *); StgClosure *isAlive(StgClosure *p); -void GarbageCollect(void (*get_roots)(void)); +void GarbageCollect ( void (*get_roots)(void), rtsBool force_major_gc ); |