endElement: squash -Wunused-parameter warning

diff --git a/lib/common/htmllex.c b/lib/common/htmllex.c
index e7b590344cfcca955b61349796acb0c351885cc1..4f5bfafe7a8863f5f95852d45a2411e3bc6c9d40 100644 (file)
--- a/lib/common/htmllex.c
+++ b/lib/common/htmllex.c
@@ -673,6 +673,8 @@ static void startElement(void *user, const char *name, char **atts)
 
 static void endElement(void *user, const char *name)
 {
+    (void)user;
+
     if (strcasecmp(name, "TABLE") == 0) {
        state.tok = T_end_table;
        state.inCell = 1;