From 272c46318201901504af317dc68b4457e183b21e Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Thu, 21 Aug 2014 09:11:32 -0700 Subject: [PATCH] fix(emacs/lean-info): temporary fix for NAY problem --- 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 7e5ec68d2..5b383f71c 100644 --- a/src/emacs/lean-info.el +++ b/src/emacs/lean-info.el @@ -275,7 +275,7 @@ (SYNTH (lean-synth-pos info)) (IDENTIFIER (lean-identifier-pos info)) (SYMBOL (lean-symbol-pos info)) - (NAY (error "no position information for NAY")))) + (NAY ()))) (defun lean-info-line-number (info) (cl-first (lean-info-pos info))) (defun lean-info-column (info)