diff options
Diffstat (limited to 'editors')
| -rw-r--r-- | editors/sail2-mode.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/editors/sail2-mode.el b/editors/sail2-mode.el index eee0986f..e0081fb6 100644 --- a/editors/sail2-mode.el +++ b/editors/sail2-mode.el @@ -30,6 +30,7 @@ (,(regexp-opt sail2-types 'symbols) . font-lock-type-face) (,(regexp-opt sail2-special 'symbols) . font-lock-preprocessor-face) ("~" . font-lock-negation-char-face) + ("\\(::\\)<" 1 font-lock-keyword-face) ("@" . font-lock-preprocessor-face) ("<->" . font-lock-negation-char-face) ("\'[a-zA-Z0-9_]+" . font-lock-variable-name-face) |