From f4a2ec8183a72dd7aa65deca7e08cc68591a2e54 Mon Sep 17 00:00:00 2001
From: Leni Ven <leniv@stanford.edu>
Date: Thu, 16 Feb 2023 12:29:15 -0800
Subject: [PATCH] Fix lean4 mode

---
 home/doomemacs/config.org | 4 ----
 1 file changed, 4 deletions(-)

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.