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 =