diff --git a/tools/online_editor/index.ts b/tools/online_editor/index.ts
index 13cfb89a5..71ee21edc 100644
--- a/tools/online_editor/index.ts
+++ b/tools/online_editor/index.ts
@@ -189,7 +189,6 @@ async function render_or_error(source: string, base_url: string, div: HTMLDivEle
             let u = new URL(file_name, base_url);
             return u.toString();
         }, async (url: string): Promise<string> => {
-            console.log("ERR", url);
             let model_and_state = editor_documents.get(url);
             if (model_and_state === undefined) {
                 const response = await fetch(url);