From dd5231d6a754c0b69c8b30ba33af51f495749f77 Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Mon, 25 Aug 2014 16:50:48 -0700 Subject: [PATCH] fix(emacs/lean-server): check current-file before send EVAL --- src/emacs/lean-server.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/emacs/lean-server.el b/src/emacs/lean-server.el index a3e713f44..ce91bd828 100644 --- a/src/emacs/lean-server.el +++ b/src/emacs/lean-server.el @@ -165,7 +165,7 @@ If it's not the same with file-name (default: buffer-file-name), send VISIT cmd. ('INFO (lean-flush-changed-lines)) ('CHECK ) ('SET ()) - ('EVAL ()))) + ('EVAL (lean-server-check-current-file)))) (defun lean-server-after-send-cmd (cmd) "Operations to perform after sending a command."