diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2015-03-24 10:13:17 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2015-03-24 10:13:17 +0000 |
| commit | 67f23604d57cc5e4e5b4f3546f241401828c4b5c (patch) | |
| tree | 2fc4d2315d5fff50c35d3a09e1006c1722106040 /coq/coq-syntax.el | |
| parent | 3d32ff77071bd2449b69c9df86fde412a88c1b0c (diff) | |
fixed gfail hilighting.
Diffstat (limited to 'coq/coq-syntax.el')
| -rw-r--r-- | coq/coq-syntax.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el index e58ecf60..0fd200f5 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -328,7 +328,7 @@ so for the following reasons: ("fourier" "four" "fourier" t "fourier") ("fail" "fa" "fail" nil) ("field" "field" "field" t "field") - ("gfail" "fa" "gfail" nil) + ("gfail" "gfa" "gfail" nil "gfail") ("omega" "o" "omega" t "omega") ("reflexivity" "refl" "reflexivity #" t "reflexivity") ("ring" "ring" "ring #" t "ring") |