From f1d03b0318a43441bb96bfdaabbd914eaa985879 Mon Sep 17 00:00:00 2001
From: Adam Bard <github@adambard.com>
Date: Tue, 19 Nov 2019 11:18:49 -0800
Subject: Try ocaml highlighting with coq

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

(limited to 'coq.html.markdown')

diff --git a/coq.html.markdown b/coq.html.markdown
index 115d9ff8..604a1f56 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.
 
 
-```coq
+```ocaml
 (*** Comments ***)
 
 (* Comments are enclosed in (* and *). It's fine to nest comments. *)
-- 
cgit v1.2.3