diff options
| author | Kathy Gray | 2016-09-14 10:56:08 +0100 |
|---|---|---|
| committer | Kathy Gray | 2016-09-14 10:56:08 +0100 |
| commit | 5080e1b1876532cfee48acfffed957fce0b4070c (patch) | |
| tree | 0bdf2671c417858fc3668d60891cdd3336739e6d /editors | |
| parent | 0cac5b8463e49bf1532fa5dfcf43ed1e48cc8835 (diff) | |
Fix mistyped identifier in emacs mode
Diffstat (limited to 'editors')
| -rw-r--r-- | editors/sail.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/editors/sail.el b/editors/sail.el index 5fd4b3ff..253e1d48 100644 --- a/editors/sail.el +++ b/editors/sail.el @@ -717,7 +717,7 @@ Based on Tuareg mode. See Tuareg mode for usage" 2 font-lock-variable-name-face keep nil) ("\\<\\(typedef\\|union\\)\\>[ \t\n]*\\(\\(\\w\\|[_ \t()*,]\\)+\\)" 2 font-lock-type-face keep nil) - ("\\<\\(Type\\|Nat\\|Order\\|Effect\\|inc\\|dec\\|implicit\\|vector\\|rreg\\|wreg\\|rmem\\|wmem\\|barr\\|undef\\|escape\\|unspec\\|nondet\\|pure\\|effect\\|IN\\|forall\\|bit\\|unit\\|bool\\|nat\\|int\\)\\>" + ("\\<\\(Type\\|Nat\\|Order\\|Effect\\|inc\\|dec\\|implicit\\|vector\\|rreg\\|wreg\\|rmem\\|wmem\\|wmv\\|eamem\\|barr\\|undef\\|escape\\|unspec\\|nondet\\|pure\\|effect\\|IN\\|forall\\|bit\\|unit\\|bool\\|nat\\|int\\)\\>" 0 font-lock-type-face keep nil) ("\\<\\(val\\|extern\\|clause\\|and\\||let\\|rec\\>[ \t\n]*\\(\\(\\w\\|[_,?~.]\\)*\\)" 2 font-lock-variable-name-face keep nil) @@ -1572,7 +1572,7 @@ Returns t iff skipped to indentation." (or (not (string= kwop "then")) looking-at-matching))))) -(defun ail-compute-kwop-indent (kwop) +(defun sail-compute-kwop-indent (kwop) (when (string= kwop "rec") (setq kwop "and")) (let* ((old-point (point)) |