From 83f05e104aa8ecbb3845277d09800b43fd2f0fc0 Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Tue, 26 Aug 2014 16:02:40 -0700 Subject: [PATCH] fix(emacs/lean-server): fix ERROR regex pattern --- src/emacs/lean-server.el | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/emacs/lean-server.el b/src/emacs/lean-server.el index ce91bd8288..0a334eaf22 100644 --- a/src/emacs/lean-server.el +++ b/src/emacs/lean-server.el @@ -34,7 +34,7 @@ (EVAL ,(rx line-start "-- BEGINEVAL" line-end) ,(rx line-start (group "-- ENDEVAL") line-end)) (ERROR ,(rx line-start "-- " (0+ not-newline) line-end) - ,(rx line-start (group "-- ERROR") line-end))) + ,(rx line-start (group "-- ERROR" (0+ not-newline)) line-end))) "Regular expression pattern for lean-server message syntax") (defun lean-server-split-buffer (buf-str beg-regex end-regex) @@ -55,7 +55,7 @@ (cl-loop for (type beg-regex end-regex) in lean-server-syntax-pattern do (setq partition-result (lean-server-split-buffer buf-str beg-regex end-regex)) if partition-result - return `(,type ,partition-result)))) + return `(,type ,partition-result)))) (defun lean-server-process-received-message (buf str) "Process received message from lean-server"