From 624f4dc573c5f7d974af41cbae2b85457ff0f3bb Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Fri, 25 Nov 2011 16:17:53 +0000
Subject: Cleaning up XML parsing

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

(limited to 'lib/xml_parser.mli')

diff --git a/lib/xml_parser.mli b/lib/xml_parser.mli
index 7f501986be..a3e8aa4ac9 100644
--- a/lib/xml_parser.mli
+++ b/lib/xml_parser.mli
@@ -102,8 +102,3 @@ val check_eof : t -> bool -> unit
 (** Once the parser is configurated, you can run the parser on a any kind
  of xml document source to parse its contents into an Xml data structure. *)
 val parse :  t -> source -> xml
-
-(**/**)
-
-(* internal usage only... *)
-val _raises : (error_msg -> Lexing.lexbuf -> exn) -> (string -> exn) -> unit
-- 
cgit v1.2.3