chore: typo

Co-authored-by: Gabriel Ebner <gebner@gebner.org>

src/Lean/Elab/BuiltinNotation.lean

diff --git a/src/Lean/Elab/BuiltinNotation.lean b/src/Lean/Elab/BuiltinNotation.lean
index 8e16617..429c997 100644
--- a/src/Lean/Elab/BuiltinNotation.lean
+++ b/src/Lean/Elab/BuiltinNotation.lean
@@ -144,7 +144,7 @@
 
 /--
 `dbg_trace e; body` evaluates to `body` and prints `e` (which can be an
-interpolated string litera) to stderr. It should only be used for debugging. -/
+interpolated string literal) to stderr. It should only be used for debugging. -/
 @[builtinMacro Lean.Parser.Term.dbgTrace]  def expandDbgTrace : Macro := fun stx =>
   let arg  := stx[1]
   let body := stx[3]