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
---
 kernel/mod_subst.ml | 2 +-
 kernel/names.ml     | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'kernel')

diff --git a/kernel/mod_subst.ml b/kernel/mod_subst.ml
index 61dc2bf290..5ba4a9789b 100644
--- a/kernel/mod_subst.ml
+++ b/kernel/mod_subst.ml
@@ -123,7 +123,7 @@ let add_kn_delta_resolver kn kn' = Deltamap.add_kn kn (Equiv kn')
 
 let add_mp_delta_resolver mp1 mp2 = Deltamap.add_mp mp1 mp2
 
-(** Extending a [substitution *)
+(** Extending a [substitution] *)
 
 let add_mbid mbid mp resolve s = Umap.add_mbi mbid (mp,resolve) s
 let add_mp mp1 mp2 resolve s = Umap.add_mp mp1 (mp2,resolve) s
diff --git a/kernel/names.ml b/kernel/names.ml
index 599e8fb126..6146e10839 100644
--- a/kernel/names.ml
+++ b/kernel/names.ml
@@ -218,7 +218,7 @@ module KNset = Set.Make(KNord)
    (i.e. what the user see)
    and kn2 corresponds to the canonical kernel name
    i.e. in the environment we have
-   kn1 \rhd_{\delta}^* kn2 \rhd_{\delta} t *)
+   {% kn1 \rhd_{\delta}^* kn2 \rhd_{\delta} t %} *)
 type constant = kernel_name*kernel_name
 
 let constant_of_kn kn = (kn,kn)
-- 
cgit v1.2.3