From 0a9bf8a3003d14e465bcbabc5f7128e14d0701dc Mon Sep 17 00:00:00 2001
From: Thomas Gazagnaire <thomas@gazagnaire.org>
Date: Fri, 6 Dec 2024 16:30:04 +0100
Subject: [PATCH] Fix syntax highlighting

---
 lib/mli_parser.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lib/mli_parser.ml b/lib/mli_parser.ml
index 831f373d..e67f0c96 100644
--- a/lib/mli_parser.ml
+++ b/lib/mli_parser.ml
@@ -107,6 +107,7 @@ let docstring_code_blocks str =
             let adjustment =
               3
               (* String.length "(**" *)
+              (* ...extra "**)" to fix syntax highlighting...*)
             in
 
             let location =