1 files changed, 6 insertions, 0 deletions
diff --git a/rts/sm/NonMovingMark.h b/rts/sm/NonMovingMark.h
index 0938e2775a..17cfc246cb 100644
--- a/rts/sm/NonMovingMark.h
+++ b/rts/sm/NonMovingMark.h
@@ -184,6 +184,12 @@ INLINE_HEADER bool markQueueIsEmpty(MarkQueue *q)
     return (q->blocks == NULL) || (q->top->head == 0 && q->blocks->link == NULL);
 }
 
+#if defined(NONMOVING_MARK_CHECK)
+void nonmovingMarkCheck(void);
+#else
+INLINE_HEADER void nonmovingMarkCheck(void) {}
+#endif
+
 #if defined(DEBUG)
 
 void printMarkQueueEntry(MarkQueueEnt *ent);