fix

1 files changed, 2 insertions, 0 deletions

diff --git a/index.html b/index.html
index 73a47ab..350f379 100644
--- a/index.html
+++ b/index.html
@@ -352,6 +352,8 @@
                 const msg = `undefined symbols detected:\n${missing.map(s => `  • (${symbols[s]}) ${s}`).join('\n')}`
                 warnings.innerHTML += msg.replace(/\n/g, '<br>')
                 console.warn('undefined symbols:', missing)
+            } else {
+                warnings.style.display = 'none'
             }
         }