diff --git a/src/emacs/lean-info.el b/src/emacs/lean-info.el
index 0926944a09..a05c529f80 100644
--- a/src/emacs/lean-info.el
+++ b/src/emacs/lean-info.el
@@ -56,6 +56,7 @@
         (funcall cont record))))))
 
 (cl-defun lean-find-definition-cont (&key file line column)
+  (when (fboundp 'xref-push-marker-stack) (xref-push-marker-stack))
   (when file
     (find-file file))
   (goto-char (point-min))