From 7cb66cdfaeb5b4157331f86fb44ab83cb9d7c4f6 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Mon, 28 Sep 2015 08:45:35 -0700 Subject: [PATCH] fix(emacs/lean-syntax): fixes #837 --- 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 4256011a0..041714b02 100644 --- a/src/emacs/lean-syntax.el +++ b/src/emacs/lean-syntax.el @@ -129,6 +129,7 @@ (defconst lean-font-lock-defaults `((;; Keywords + ("\\(set_option\\)[ \t]*\\([^ \t\n]*\\)" (2 'font-lock-constant-face)) (,lean-keywords2-regexp . 'font-lock-keyword-face) (,lean-keywords1-regexp . 'font-lock-keyword-face) ;; String @@ -142,7 +143,6 @@ (zero-or-more (or whitespace "(" "{" "[")) (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 (,(rx symbol-start "_" symbol-end) . 'font-lock-preprocessor-face) ;; modifiers