From ae8114a13c48e866c89c165560d34fa862e4ff99 Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Tue, 25 Sep 2012 16:58:32 +0000
Subject: Fixing ocamldoc errors

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15833 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 lib/cArray.mli | 2 +-
 lib/cObj.mli   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'lib')

diff --git a/lib/cArray.mli b/lib/cArray.mli
index 1738bb6184..57eb672c14 100644
--- a/lib/cArray.mli
+++ b/lib/cArray.mli
@@ -109,7 +109,7 @@ sig
   (** As [map] but guaranteed to be left-to-right. *)
 
   val iter2 : ('a -> 'b -> unit) -> 'a array -> 'b array -> unit
-  (** Iter on two arrays. Raise [Invalid_argument "Array.iter2" if sizes differ. *)
+  (** Iter on two arrays. Raise [Invalid_argument "Array.iter2"] if sizes differ. *)
 
   val fold_map' : ('a -> 'c -> 'b * 'c) -> 'a array -> 'c -> 'b array * 'c
   val fold_map : ('a -> 'b -> 'a * 'c) -> 'a -> 'b array -> 'a * 'c array
diff --git a/lib/cObj.mli b/lib/cObj.mli
index 61c778f1fd..3264ca61f3 100644
--- a/lib/cObj.mli
+++ b/lib/cObj.mli
@@ -19,7 +19,7 @@ val size_b : 'a -> int
 val size_kb : 'a -> int
 (** Same as [size] in kilobytes. *)
 
-(** {6 Logical size of an OCaml value *)
+(** {6 Logical size of an OCaml value.} *)
 
 val obj_stats : 'a -> int * int * int
 (** Return the (logical) value size, the string size, and the maximum depth of
-- 
cgit v1.2.3