oleans

leanprover-community · Nov 4, 2023 · 6257774 · 6257774
1 parent 6a74f98
commit 6257774
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/client/public/lean.data b/client/public/lean.data
@@ -0,0 +1 @@
+/home/alex/Projects/lean4/build/release/stage1/bin/lean.data
diff --git a/client/public/worker.js b/client/public/worker.js
@@ -71,7 +71,7 @@ var stderrBuffer = ""
 
 var Module = {
     "arguments": ["--worker"],
-    "preRun": function() {
+    "preRun": [function() {
     function stdin() {
         if (i < input.length) {
           i++;
@@ -90,7 +90,7 @@ var Module = {
     }
 
     FS.init(stdin, stdout, stderr);
-}};
+}]};
 
 importScripts("lean.js")
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		/home/alex/Projects/lean4/build/release/stage1/bin/lean.data