From 1c760b2ee808ba68781a68a57292cc841b3df5a0 Mon Sep 17 00:00:00 2001
From: Simon Tatham <anakin@pobox.com>
Date: Sat, 22 May 2021 21:04:22 +0100
Subject: [PATCH] WASM: fix save-file generation.

In commit f6434e84964d840 I said I had replaced all uses of
old-Emscripten's Pointer_stringify() function with new-Emscripten's
UTF8ToString(). In fact, I only replaced the ones in emcclib.js, but I
missed one in emccpre.js used in preparing downloadable save files.
Those were therefore broken, with a Javascript undefined-name error.
---
 emccpre.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/emccpre.js b/emccpre.js
index 310c465..0a498de 100644
--- a/emccpre.js
+++ b/emccpre.js
@@ -372,7 +372,7 @@ function initPuzzle() {
     document.getElementById("save").onclick = function(event) {
         if (dlg_dimmer === null) {
             var savefile_ptr = get_save_file();
-            var savefile_text = Pointer_stringify(savefile_ptr);
+            var savefile_text = UTF8ToString(savefile_ptr);
             free_save_file(savefile_ptr);
             dialog_init("Download saved-game file");
             dlg_form.appendChild(document.createTextNode(