diff options
| -rw-r--r-- | coq/coq-syntax.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el index d2b48b67..4cb6de55 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -567,6 +567,7 @@ so for the following reasons: '( ("About" nil "About #." nil "About") ("Check" nil "Check" nil "Check") + ("Compute" nil "Compute" nil "Compute") ("Fail" nil "Fail" nil "fail") ("Inspect" nil "Inspect #." nil "Inspect") ("Locate File" nil "Locate File \"#\"." nil "Locate\\s-+File") |