From b31edb2cee300e679caa257f377441b8a3b1c8c4 Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Thu, 11 Sep 2014 13:46:07 -0700 Subject: [PATCH] fix(emacs/lean-company): pass dummy continuation for WAIT --- src/emacs/lean-company.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/emacs/lean-company.el b/src/emacs/lean-company.el index 117095fece..1dd859e1bb 100644 --- a/src/emacs/lean-company.el +++ b/src/emacs/lean-company.el @@ -46,7 +46,7 @@ triggers a completion immediately." (let ((line-number (line-number-at-pos)) (column-number (current-column)) pattern) - (lean-server-send-cmd-sync (lean-cmd-wait) 'identity) + (lean-server-send-cmd-sync (lean-cmd-wait) '(lambda () ())) (cond ((looking-at (rx symbol-start "_")) (setq pattern (if current-prefix-arg