1 files changed, 1 insertions, 0 deletions
diff --git a/rts/sm/GC.h b/rts/sm/GC.h
index bde006913b..33b98b6e20 100644
--- a/rts/sm/GC.h
+++ b/rts/sm/GC.h
@@ -20,6 +20,7 @@
 void GarbageCollect (uint32_t collect_gen,
                      bool do_heap_census,
                      bool deadlock_detect,
+                     bool force_nonconcurrent,
                      uint32_t gc_type,
                      Capability *cap,
                      bool idle_cap[]);