From 92f8a22ea1e2e4ecfe8ce09fa5a7529141b8fbf6 Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Thu, 11 Sep 2014 04:03:23 -0700 Subject: [PATCH] fix(emacs/lean-company): send dummy continuation when send 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 c94adca5f..0157cbba4 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)) + (lean-server-send-cmd-sync (lean-cmd-wait) 'identity) (cond ((looking-at (rx symbol-start "_")) (setq pattern (if current-prefix-arg