From cfb102cbd1a1856c5b1b0b66fd6913992cfdc5fa Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Mon, 1 Jun 2015 22:31:08 -0700
Subject: [PATCH] fix(emacs/lean-mode): disable electric-indent-mode

closes #636
---
 src/emacs/lean-mode.el | 2 ++
 1 file changed, 2 insertions(+)

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))