From a5da84059398b862931140eaf1ca286d66d7a4bd Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Tue, 28 Jul 2015 14:46:59 -0700 Subject: [PATCH] fix(emacs/lean-mode.el): typo --- src/emacs/lean-mode.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/emacs/lean-mode.el b/src/emacs/lean-mode.el index a177ce52e..865f1b6ca 100644 --- a/src/emacs/lean-mode.el +++ b/src/emacs/lean-mode.el @@ -160,7 +160,7 @@ placeholder, call lean-server with --hole option, otherwise call (char-equal cb ?\r)))) (lean-exec-at-pos "lean-hole" "*Lean Goal*" "--hole")) (t - (lean-exec-at-pos "lean-goal" "*Lean Goal*" "--goal")))) + (lean-exec-at-pos "lean-goal" "*Lean Goal*" "--goal"))))) (defun lean-std-exe () (interactive)