From ccba6c718af6a5a15f278fc9365b6ad27108e98f Mon Sep 17 00:00:00 2001
From: letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Thu, 29 Apr 2010 16:06:42 +0000
Subject: Various minor improvements of comments in mli for ocamldoc

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12976 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 library/libobject.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'library/libobject.mli')

diff --git a/library/libobject.mli b/library/libobject.mli
index 5a48419c9..87bbbe89d 100644
--- a/library/libobject.mli
+++ b/library/libobject.mli
@@ -84,7 +84,7 @@ val default_object : string -> 'a object_declaration
 (** the identity substitution function *)
 val ident_subst_function : substitution * 'a -> 'a
 
-(** {6 Sect } *)
+(** {6 ... } *)
 (** Given an object declaration, the function [declare_object]
    will hand back two functions, the "injection" and "projection"
    functions for dynamically typed library-objects. *)
-- 
cgit v1.2.3