diff options
| -rw-r--r-- | rts/Schedule.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rts/Schedule.c b/rts/Schedule.c index abd317cc62..a024926914 100644 --- a/rts/Schedule.c +++ b/rts/Schedule.c @@ -1437,7 +1437,7 @@ scheduleDoGC (Capability **pcap, Task *task USED_IF_THREADS, rtsBool heap_census; nat collect_gen; #ifdef THREADED_RTS - rtsBool gc_type; + StgWord8 gc_type; nat i, sync; StgTSO *tso; #endif |