bump lean4monaco

leanprover-community · Jul 24, 2024 · 64ad23d · 64ad23d
1 parent 25efbe8
commit 64ad23d
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/client/src/App.tsx b/client/src/App.tsx
@@ -68,7 +68,7 @@ function App() {
     const leanMonaco = new LeanMonaco()
     const leanMonacoEditor = new LeanMonacoEditor()
     ;(async () => {
-        await leanMonaco.start(socketUrl)
+        await leanMonaco.start({websocket: {url: socketUrl}})
         leanMonaco.setInfoviewElement(infoviewRef.current!)
         await leanMonacoEditor.start(codeviewRef.current!, `/project/${project}.lean`, '')
 

diff --git a/package-lock.json b/package-lock.json