diff --git a/src/emacs/lean-mode.el b/src/emacs/lean-mode.el
index 09ff58ce2..4ab969620 100644
--- a/src/emacs/lean-mode.el
+++ b/src/emacs/lean-mode.el
@@ -203,7 +203,7 @@ Invokes `lean-mode-hook'.
   (set (make-local-variable 'lisp-indent-function)
        'common-lisp-indent-function)
   (lean-set-keys)
-  (abbrev-mode 1)
+  ;; (abbrev-mode 1)
   (pcase-dolist (`(,hook . ,fn) lean-hooks-alist)
     (add-hook hook fn nil 'local))
   (lean-mode-setup))