From d6491399b9210dcee276f0caf7bc3edf1dd5fe6f Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sat, 6 Sep 2014 10:49:16 -0700 Subject: [PATCH] fix(emacs/lean-syntax): weird syntax-hightlight problem" --- src/emacs/lean-syntax.el | 9 --------- 1 file changed, 9 deletions(-) diff --git a/src/emacs/lean-syntax.el b/src/emacs/lean-syntax.el index d158483cc..f5ef905bb 100644 --- a/src/emacs/lean-syntax.el +++ b/src/emacs/lean-syntax.el @@ -66,15 +66,6 @@ (zero-or-more (or whitespace "(" "{" "[")) (group (zero-or-more (not whitespace)))) (2 'font-lock-function-name-face)) - ;; namespace/section "name" - (,(rx symbol-start - (group (or "namespace" "section" "end")) - symbol-end - (zero-or-more whitespace) - (group (zero-or-more (not whitespace))) - (zero-or-more whitespace) - line-end) - (2 'font-lock-function-name-face)) ("\\(set_option\\)[ \t]*\\([^ \t\n]*\\)" (2 'font-lock-constant-face)) ;; place holder (,(rx symbol-start "_" symbol-end) . 'font-lock-preprocessor-face)