diff --git a/docs/_includes/repl.html b/docs/_includes/repl.html index 80750b43..5865fe34 100644 --- a/docs/_includes/repl.html +++ b/docs/_includes/repl.html @@ -43,4 +43,4 @@ - \ No newline at end of file + \ No newline at end of file diff --git a/docs/assets/js/repl.js b/docs/assets/js/repl.js index 94c431a6..27b22e62 100644 --- a/docs/assets/js/repl.js +++ b/docs/assets/js/repl.js @@ -217,7 +217,7 @@ function clearOutput() { document.getElementById("output").value = ""; } -executeScript = function() { +function executeScript() { if (editor) { var err = Module.ccall('executeScript', 'string', ['string'], [editor.getValue()]); if (err) {