diff options
Diffstat (limited to 'lib/xml_utils.ml')
| -rw-r--r-- | lib/xml_utils.ml | 6 |
1 files changed, 0 insertions, 6 deletions
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);; |