diff options
Diffstat (limited to 'rts')
| -rw-r--r-- | rts/sm/GC.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rts/sm/GC.c b/rts/sm/GC.c index a3d0e4a164..37f9811aaf 100644 --- a/rts/sm/GC.c +++ b/rts/sm/GC.c @@ -193,7 +193,7 @@ StgPtr mark_sp; // pointer to the next unallocated mark stack entry void GarbageCollect (uint32_t collect_gen, - bool do_heap_census, + const bool do_heap_census, uint32_t gc_type USED_IF_THREADS, Capability *cap, bool idle_cap[]) |