X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Foutput%2Fhtml.c;h=31fa063f519b24b19806ffa11657960e7ca61f21;hb=28e907dd4809de2c44feb9f402ab7f19660d6459;hp=9a803d1ab0814f8ae3507aa2f74d8edb88002dbb;hpb=26bad54c73bdb354262a2434de93e632a286b0d3;p=pspp

diff --git a/src/output/html.c b/src/output/html.c
index 9a803d1ab0..31fa063f51 100644
--- a/src/output/html.c
+++ b/src/output/html.c
@@ -485,7 +485,7 @@ put_tfoot (struct html_driver *html, const struct table *t, bool *tfoot)
 
 static void
 html_put_footnote_markers (struct html_driver *html,
-                           const struct footnote **footnotes,
+                           struct footnote **footnotes,
                            size_t n_footnotes)
 {
   if (n_footnotes > 0)
@@ -576,7 +576,7 @@ html_output_table (struct html_driver *html, const struct table_item *item)
       put_tfoot (html, t, &tfoot);
       html_put_table_item_text (html, caption);
     }
-  const struct footnote **f;
+  struct footnote **f;
   size_t n_footnotes = table_collect_footnotes (item, &f);
 
   for (size_t i = 0; i < n_footnotes; i++)