diff --git a/src/emacs/lean-mode.el b/src/emacs/lean-mode.el
index e603d8cd88..64b7e8c407 100644
--- a/src/emacs/lean-mode.el
+++ b/src/emacs/lean-mode.el
@@ -282,6 +282,8 @@ Invokes `lean-mode-hook'.
   (set (make-local-variable 'lisp-indent-function)
        'common-lisp-indent-function)
   (lean-set-keys)
+  (if (fboundp 'electric-indent-local-mode)
+      (electric-indent-local-mode -1))
   ;; (abbrev-mode 1)
   (pcase-dolist (`(,hook . ,fn) lean-hooks-alist)
     (add-hook hook fn nil 'local))