array-list: Pacify warnings about unused arguments (-Wunused-parameter)

[Akim Demaille]

In Bison.

commit decda5a491a8e8900bea0f4346d8dfca191d4b90
Author: Akim Demaille <address@hidden>
Date:   Wed Jan 23 22:36:54 2019 +0100

    array-list: Pacify warnings about unused arguments (-Wunused-parameter)
    
    * lib/gl_array_list.c (gl_array_iterator_free): "Use" the argument.

diff --git a/ChangeLog b/ChangeLog
index 2fccadb5e..b9e15a10a 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2019-01-23  Akim Demaille  <address@hidden>
+
+       array-list: Pacify warnings about unused arguments (-Wunused-parameter).
+       * lib/gl_array_list.c (gl_array_iterator_free): "Use" the argument.
+
 2019-01-23  Akim Demaille  <address@hidden>
 
        relocatable: avoid compiler warnings (-Wshadow).
diff --git a/lib/gl_array_list.c b/lib/gl_array_list.c
index 812c50211..0c7325e91 100644
--- a/lib/gl_array_list.c
+++ b/lib/gl_array_list.c
@@ -514,6 +514,7 @@ gl_array_iterator_next (gl_list_iterator_t *iterator,
 static void
 gl_array_iterator_free (gl_list_iterator_t *iterator)
 {
+  (void) iterator;
 }
 
 /* ---------------------- Sorted gl_list_t Data Type ---------------------- */