Remove redundant GC_ATTR_UNUSED for GC_mark_and_push

(fix of commit 8d64dbd10)

* mark.c (GC_mark_and_push): Remove unneeded GC_ATTR_UNUSED for src
argument.

1 files changed, 1 insertions, 3 deletions

diff --git a/mark.c b/mark.c
index 7d573f61..469a2c4d 100644
--- a/mark.c
+++ b/mark.c
@@ -1466,9 +1466,7 @@ GC_API void GC_CALL GC_push_all(void *bottom, void *top)
 #endif
 
 GC_API struct GC_ms_entry * GC_CALL GC_mark_and_push(void *obj,
-                                                mse *mark_stack_ptr,
-                                                mse *mark_stack_limit,
-                                                void ** src GC_ATTR_UNUSED)
+                        mse *mark_stack_ptr, mse *mark_stack_limit, void **src)
 {
     hdr * hhdr;