From bfe2d28c501afa6625482b1d9f2a2cc183eb19d1 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Fri, 7 Feb 2025 17:12:31 +0100
Subject: [PATCH] chore: re-enable `Elab.async` in the server (#6990)

---
 src/Lean/Server/FileWorker.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Lean/Server/FileWorker.lean b/src/Lean/Server/FileWorker.lean
index ab75e7a9f5..659dede5ba 100644
--- a/src/Lean/Server/FileWorker.lean
+++ b/src/Lean/Server/FileWorker.lean
@@ -353,7 +353,7 @@ def setupImports (meta : DocumentMeta) (cmdlineOpts : Options) (chanOut : Std.Ch
   let opts := cmdlineOpts.mergeBy (fun _ _ fileOpt => fileOpt) fileSetupResult.fileOptions
 
   -- default to async elaboration; see also `Elab.async` docs
-  --let opts := Elab.async.setIfNotSet opts true
+  let opts := Elab.async.setIfNotSet opts true
 
   return .ok {
     mainModuleName