From 5e504da68880df361ca1af3692e38498b1605463 Mon Sep 17 00:00:00 2001
From: pboutill
Date: Mon, 16 Jan 2012 10:10:13 +0000
Subject: make mli-doc fix

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

(limited to 'lib')

diff --git a/lib/xml_parser.mli b/lib/xml_parser.mli
index a3e8aa4ac9..e3e7ac4dc6 100644
--- a/lib/xml_parser.mli
+++ b/lib/xml_parser.mli
@@ -42,7 +42,7 @@ type t
                 and the {!Xml.error_pos} can be used to retreive the document
                 location where the error occured at.}
         {li {!Xml.File_not_found} is raised when and error occured while
-                opening a file with the {!Xml.parse_file} function.
+                opening a file with the {!Xml.parse_file} function.}
         }
  *)
 
-- 
cgit v1.2.3