# HG changeset patch
# User Akim Demaille <akim.demaille@gmail.com>
# Date 1548279414 -3600
# Node ID 241438dd39d359670a731cf4a2267df945788f7d
# Parent  aca6fd159fdd7e98026dc1c261ede7182d9314e5
array-list: Pacify warnings about unused arguments (-Wunused-parameter)

* lib/gl_array_list.c (gl_array_iterator_free): "Use" the argument.

diff -r aca6fd159fdd -r 241438dd39d3 ChangeLog
--- a/ChangeLog	Thu Jan 24 04:47:08 2019 +0100
+++ b/ChangeLog	Wed Jan 23 22:36:54 2019 +0100
@@ -1,3 +1,8 @@
+2019-01-23  Akim Demaille  <akim@lrde.epita.fr>
+
+	array-list: Pacify warnings about unused arguments (-Wunused-parameter).
+	* lib/gl_array_list.c (gl_array_iterator_free): "Use" the argument.
+
 2019-01-23  Bruno Haible  <bruno@clisp.org>
 
 	threadlib: Revert commit from 2018-06-25. We now have a better fix.
diff -r aca6fd159fdd -r 241438dd39d3 lib/gl_array_list.c
--- a/lib/gl_array_list.c	Thu Jan 24 04:47:08 2019 +0100
+++ b/lib/gl_array_list.c	Wed Jan 23 22:36:54 2019 +0100
@@ -512,7 +512,7 @@
 }
 
 static void
-gl_array_iterator_free (gl_list_iterator_t *iterator)
+gl_array_iterator_free (gl_list_iterator_t *iterator _GL_UNUSED)
 {
 }