diff --git a/src/Lean/Server/FileWorker.lean b/src/Lean/Server/FileWorker.lean
index 07e2dd99f7..8babd5f130 100644
--- a/src/Lean/Server/FileWorker.lean
+++ b/src/Lean/Server/FileWorker.lean
@@ -22,7 +22,7 @@ import Lean.Server.References
 
 import Lean.Server.FileWorker.Utils
 import Lean.Server.FileWorker.RequestHandling
-
+import Lean.Server.FileWorker.WidgetRequests
 import Lean.Server.Rpc.Basic
 import Lean.Widget.InteractiveDiagnostic