From d1a42a936ceb0129e1e62d2bdab33207c1273fd6 Mon Sep 17 00:00:00 2001
From: Li-yao Xia
Date: Wed, 14 Oct 2020 12:03:31 -0400
Subject: Highlight Compute

---
 coq/coq-syntax.el | 1 +
 1 file changed, 1 insertion(+)

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")
-- 
cgit v1.2.3