From fc2fbc41bb51d151ac2b7e59eb31217374466ff8 Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Sun, 7 Sep 2014 18:42:56 -0700 Subject: [PATCH] chore(emacs/lean-info): fix a bug passing a wrong argument --- src/emacs/lean-info.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/emacs/lean-info.el b/src/emacs/lean-info.el index 4ba762f77..010b89b13 100644 --- a/src/emacs/lean-info.el +++ b/src/emacs/lean-info.el @@ -663,8 +663,8 @@ Take out \"BEGININFO\" and \"ENDINFO\" and Use \"ACK\" as a delim." "Return the full-name at point (if any)" (lean-get-info-record-at-point (lambda (info-record) + (lean-server-debug "executing continuation for get-full-name-at-point") (funcall cont - (lean-server-debug "executing continuation for get-full-name-at-point") (lean-get-full-name-at-point-cont info-record))))) (provide 'lean-info)