diff --git a/src/emacs/lean-mode.el b/src/emacs/lean-mode.el
index c4675a7dd..2cd4f28fa 100644
--- a/src/emacs/lean-mode.el
+++ b/src/emacs/lean-mode.el
@@ -69,11 +69,6 @@
               (t (completion-at-point-functions)))
       (eri-indent))))
 
-(defun lean-tab ()
-  (interactive)
-  (or (company-complete)
-      (eri-indent)))
-
 (defun lean-set-keys ()
   (local-set-key "\C-c\C-x"  'lean-std-exe)
   (local-set-key "\C-c\C-l"  'lean-std-exe)