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 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'kernel/mod_subst.ml') diff --git a/kernel/mod_subst.ml b/kernel/mod_subst.ml index 61dc2bf29..5ba4a9789 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 -- cgit v1.2.3