From d7b2414b631d71e89e677d650b84bd4fadd44895 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 21 Jan 2005 17:18:23 +0000
Subject: Compatibilité ocamlweb pour cible doc

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6616 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 562ba0ce42..37447ffbe6 100644
--- a/library/libobject.mli
+++ b/library/libobject.mli
@@ -40,7 +40,7 @@ open Mod_subst
      Keep      - the object is not substitutive, but survives module 
                  closing
      Anticipate - this is for objects which have to be explicitely 
-                 managed by the end_module function (like Require 
+                 managed by the [end_module] function (like Require 
                  and Read markers)
 
      The classification function is also an occasion for a cleanup
-- 
cgit v1.2.3