diff --git a/src/emacs/lean-mode.el b/src/emacs/lean-mode.el
index efcfa71284..6cc5a9f356 100644
--- a/src/emacs/lean-mode.el
+++ b/src/emacs/lean-mode.el
@@ -312,15 +312,6 @@ enabled and disabled respectively.")
               (fci-mode t))))
   (lean-standard-mode))
 
-;; Define Minor mode
-;;  - Standard
-(define-minor-mode lean-standard-mode
-  "Minor mode for standard Lean."
-  :init-value nil
-  :lighter " [Standard]"
-  :group 'lean
-  :require 'lean)
-
 ;; Automode List
 ;;;###autoload
 (define-derived-mode lean-mode prog-mode "Lean"