From 0c704d4ace655b4f034fbb039d7c33179bbd5e44 Mon Sep 17 00:00:00 2001 From: kriss Date: Sat, 28 Oct 2023 01:33:37 +0100 Subject: [PATCH] . --- js/plated_files.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/js/plated_files.js b/js/plated_files.js index feff656..fcbe84c 100644 --- a/js/plated_files.js +++ b/js/plated_files.js @@ -738,7 +738,7 @@ finished. { console.log(timestr()+" FILE "+"/"+s) await plated_files.build_file(s); - await plated_output.write_map(); // update map + await plated.output.write_map(); // update map } }