From a44adf4baf3f0253d94130e4da2d3038d58987bd Mon Sep 17 00:00:00 2001
From: Matthew Gretton-Dann <matt@gretton-dann.org.uk>
Date: Fri, 15 Mar 2024 08:33:40 +0000
Subject: [PATCH] Correct calls to write_html()

write_html() is declared as taking two parameters, but the call to it
passes three.

We fix this by dropping the third parameter, which was labelled 'DUMMY'
anyway.
---
 nuweb.w | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/nuweb.w b/nuweb.w
index aefdb83..326c4c6 100644
--- a/nuweb.w
+++ b/nuweb.w
@@ -1378,7 +1378,7 @@ is forced when generating HTML.
       int saved_number_flag = number_flag;
       number_flag = TRUE;
       collect_numbers(aux_name);
-      write_html(source_name, tex_name, 0/*Dummy */);
+      write_html(source_name, tex_name);
       number_flag = saved_number_flag;
     }
     else {