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_utils.ml | 6 ------
 1 file changed, 6 deletions(-)

(limited to 'lib/xml_utils.ml')

diff --git a/lib/xml_utils.ml b/lib/xml_utils.ml
index 2fc1b9065b..310035862c 100644
--- a/lib/xml_utils.ml
+++ b/lib/xml_utils.ml
@@ -221,9 +221,3 @@ let to_string_fmt x =
 	let s = Buffer.contents tmp in
 	Buffer.reset tmp;
 	s
-
-;;
-Xml_parser._raises (fun x p -> 
-	(* local cast : Xml.error_msg -> error_msg *)
-	Error (x, pos p))
-	(fun f -> File_not_found f);;
-- 
cgit v1.2.3