diff options
Diffstat (limited to 'rts/Sparks.h')
| -rw-r--r-- | rts/Sparks.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rts/Sparks.h b/rts/Sparks.h index d87d03076d..58817b80af 100644 --- a/rts/Sparks.h +++ b/rts/Sparks.h @@ -45,7 +45,7 @@ INLINE_HEADER bool fizzledSpark (StgClosure *); void freeSparkPool (SparkPool *pool); void createSparkThread (Capability *cap); void traverseSparkQueue(evac_fn evac, void *user, Capability *cap); -void pruneSparkQueue (Capability *cap); +void pruneSparkQueue (bool nonmovingMarkFinished, Capability *cap); INLINE_HEADER void discardSparks (SparkPool *pool); INLINE_HEADER long sparkPoolSize (SparkPool *pool); |