diff --git a/home/doomemacs/config.org b/home/doomemacs/config.org
index 0c06fa2..8db1f75 100644
--- a/home/doomemacs/config.org
+++ b/home/doomemacs/config.org
@@ -464,10 +464,6 @@ introduced.
 		:files ("lean4-mode/*.el")))
 #+end_src
 
-#+begin_src emacs-lisp
-(require 'lean4-mode)
-#+end_src
-
 *** LilyPond
 
 Add the necessary hooks for LilyPond mode.