diff --git a/src/emacs/lean-mode.el b/src/emacs/lean-mode.el
index 9ce72d8270..f71056a547 100644
--- a/src/emacs/lean-mode.el
+++ b/src/emacs/lean-mode.el
@@ -200,6 +200,7 @@ Invokes `lean-mode-hook'.
   (set (make-local-variable 'comment-use-syntax) t)
   (set (make-local-variable 'font-lock-defaults) lean-font-lock-defaults)
   (set (make-local-variable 'indent-tabs-mode) nil)
+  (set 'compilation-mode-font-lock-keywords '())
   (set-input-method "Lean")
   (set (make-local-variable 'lisp-indent-function)
        'common-lisp-indent-function)