summaryrefslogtreecommitdiff
path: root/rts/sm
diff options
context:
space:
mode:
Diffstat (limited to 'rts/sm')
-rw-r--r--rts/sm/GC.c2
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[])