diff options
Diffstat (limited to 'rts/Capability.c')
| -rw-r--r-- | rts/Capability.c | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/rts/Capability.c b/rts/Capability.c index f5e77a900f..2fcd72c12a 100644 --- a/rts/Capability.c +++ b/rts/Capability.c @@ -819,7 +819,7 @@ freeCapabilities (void) void markSomeCapabilities (evac_fn evac, void *user, nat i0, nat delta, - rtsBool prune_sparks USED_IF_THREADS) + rtsBool no_mark_sparks USED_IF_THREADS) { nat i; Capability *cap; @@ -843,9 +843,7 @@ markSomeCapabilities (evac_fn evac, void *user, nat i0, nat delta, } #if defined(THREADED_RTS) - if (prune_sparks) { - pruneSparkQueue (evac, user, cap); - } else { + if (!no_mark_sparks) { traverseSparkQueue (evac, user, cap); } #endif |