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.

1 files changed, 1 insertions, 1 deletions

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(