From b4a80f83afbc3cfca67f11d2c99dc4a8d8d992bf Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Tue, 2 Sep 2014 10:36:38 -0700 Subject: [PATCH] feat(emacs/lean-server): accept "BEGININFO .*" pattern --- 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 6fc93bef9..abed40316 100644 --- a/src/emacs/lean-server.el +++ b/src/emacs/lean-server.el @@ -41,7 +41,7 @@ ;; How to read data from an async process ;; ====================================== (defconst lean-server-syntax-pattern - `((INFO ,(rx line-start "-- BEGININFO" line-end) + `((INFO ,(rx line-start "-- BEGININFO" (* not-newline) line-end) ,(rx line-start (group "-- ENDINFO") line-end)) (SET ,(rx line-start "-- BEGINSET" line-end) ,(rx line-start (group "-- ENDSET") line-end))