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)