From 06e05c4ce3e23ee0030c820af09eeadac07b1baf Mon Sep 17 00:00:00 2001
From: Adam Bard <github@adambard.com>
Date: Sun, 24 Nov 2019 13:39:20 -0800
Subject: [PATCH] Back to coq highlighting

---
 coq.html.markdown | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/coq.html.markdown b/coq.html.markdown
index 604a1f56..115d9ff8 100644
--- a/coq.html.markdown
+++ b/coq.html.markdown
@@ -16,7 +16,7 @@ The standard usage model of Coq is to write it with interactive tool assistance,
 Inside Proof General `Ctrl+C Ctrl+<Enter>` will evaluate up to your cursor.
 
 
-```ocaml
+```coq
 (*** Comments ***)
 
 (* Comments are enclosed in (* and *). It's fine to nest comments. *)