From b78043ae24e8b8f50dac2cabcca5691d13464395 Mon Sep 17 00:00:00 2001
From: Soonho Kong <soonhok@cs.cmu.edu>
Date: Fri, 3 Oct 2014 09:47:03 -0700
Subject: [PATCH] feat(emacs/lean-mode): add 'clean-cache' to the menu

Related issue: #75
---
 src/emacs/lean-mode.el | 1 +
 1 file changed, 1 insertion(+)

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]
     "-----------------"