diff --git a/src/emacs/lean-mode.el b/src/emacs/lean-mode.el
index be56ef27f..9ce72d827 100644
--- a/src/emacs/lean-mode.el
+++ b/src/emacs/lean-mode.el
@@ -115,6 +115,7 @@
     ["Run flycheck"         flycheck-compile                  lean-flycheck-use]
     ["List of errors"       flycheck-list-errors              lean-flycheck-use]
     "-----------------"
+    ["Clear all cache"      lean-clear-cache                  t]
     ["Kill lean process"    lean-server-kill-process          t]
     ["Restart lean process" lean-server-restart-process       t]
     "-----------------"