From ebc07e5741fab0df15a8de56fc69397a7d164ce9 Mon Sep 17 00:00:00 2001
From: Matej Kosik
Date: Thu, 27 Oct 2016 10:57:02 +0200
Subject: COMMENT: unfortunatelly, ocamldoc does not recognize this kind of
 markup: it generates garbage. So the comment is kept but it is not passed
 over to ocamldoc.

---
 intf/decl_kinds.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/intf/decl_kinds.mli b/intf/decl_kinds.mli
index 6a4e188337..8254b1b802 100644
--- a/intf/decl_kinds.mli
+++ b/intf/decl_kinds.mli
@@ -41,7 +41,7 @@ type definition_object_kind =
 
 type assumption_object_kind = Definitional | Logical | Conjectural
 
-(** [assumption_kind]
+(* [assumption_kind]
 
                 |  Local      | Global
    ------------------------------------
-- 
cgit v1.2.3