chore: missing `prelude`

src/Lean/Elab/GuardMsgs.lean

diff --git a/src/Lean/Elab/GuardMsgs.lean b/src/Lean/Elab/GuardMsgs.lean
index a9f8bce..b56889b 100644
--- a/src/Lean/Elab/GuardMsgs.lean
+++ b/src/Lean/Elab/GuardMsgs.lean
@@ -3,6 +3,7 @@
 Released under Apache 2.0 license as described in the file LICENSE.
 Authors: Kyle Miller
 -/
+prelude
 import Lean.Server.CodeActions.Attr
 
 /-! `#guard_msgs` command for testing commands

src/Lean/Server/CodeActions.lean

diff --git a/src/Lean/Server/CodeActions.lean b/src/Lean/Server/CodeActions.lean
index 1a02fc2..6642fb3 100644
--- a/src/Lean/Server/CodeActions.lean
+++ b/src/Lean/Server/CodeActions.lean
@@ -4,6 +4,7 @@
 
 Authors: E.W.Ayers
 -/
+prelude
 import Lean.Server.CodeActions.Attr
 import Lean.Server.CodeActions.Basic
 import Lean.Server.CodeActions.Provider

src/Lean/Server/CodeActions/Attr.lean

diff --git a/src/Lean/Server/CodeActions/Attr.lean b/src/Lean/Server/CodeActions/Attr.lean
index f00975b..a751d7f 100644
--- a/src/Lean/Server/CodeActions/Attr.lean
+++ b/src/Lean/Server/CodeActions/Attr.lean
@@ -3,6 +3,7 @@
 Released under Apache 2.0 license as described in the file LICENSE.
 Authors: Mario Carneiro
 -/
+prelude
 import Lean.Server.CodeActions.Basic
 
 /-!

src/Lean/Server/CodeActions/Provider.lean

diff --git a/src/Lean/Server/CodeActions/Provider.lean b/src/Lean/Server/CodeActions/Provider.lean
index 6108768..1306879 100644
--- a/src/Lean/Server/CodeActions/Provider.lean
+++ b/src/Lean/Server/CodeActions/Provider.lean
@@ -3,6 +3,7 @@
 Released under Apache 2.0 license as described in the file LICENSE.
 Authors: Mario Carneiro
 -/
+prelude
 import Lean.Elab.BuiltinTerm
 import Lean.Elab.BuiltinNotation
 import Lean.Server.InfoUtils