From ba6dc59d5f54626af9a426fe0d9f7eae7762a34f Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Tue, 9 Sep 2014 13:47:09 -0700 Subject: [PATCH] fix(emacs/lean-server): missing 'rx' at the beginning of regex --- src/emacs/lean-server.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/emacs/lean-server.el b/src/emacs/lean-server.el index 10a658d2d..1016c0568 100644 --- a/src/emacs/lean-server.el +++ b/src/emacs/lean-server.el @@ -447,7 +447,7 @@ If it's not the same with file-name (default: buffer-file-name), send VISIT cmd. (defun lean-server-get-info-record-at-pos (body) (let* ((file-name (buffer-file-name)) (column (current-column))) - (when (and (looking-at (or white "," ")" "}" "]")) + (when (and (looking-at (rx (or white "," ")" "}" "]"))) (> column 1)) (setq column (1- column))) (lean-info-record-parse body file-name column)))