From ab90a350b3b4029d7c777d0a0a08d19133cd18b1 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Mon, 13 Oct 2014 06:52:36 -0700 Subject: [PATCH] fix(emacs/lean-syntax): syntax highlight for declarations with explicit universes --- src/emacs/lean-syntax.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/emacs/lean-syntax.el b/src/emacs/lean-syntax.el index b70859b71..2c6681c0b 100644 --- a/src/emacs/lean-syntax.el +++ b/src/emacs/lean-syntax.el @@ -107,7 +107,7 @@ (group (or "inductive" "theorem" "axiom" "lemma" "hypothesis" "definition" "constant")) word-end (zero-or-more (or whitespace "(" "{" "[")) - (group (zero-or-more (not (any " \t\n\r"))))) + (group (zero-or-more (not (any " \t\n\r\."))))) (2 'font-lock-function-name-face)) ("\\(set_option\\)[ \t]*\\([^ \t\n]*\\)" (2 'font-lock-constant-face)) ;; place holder