X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2Fhttp_parser_sanity.ml;h=be92934690e44a76a8ad6df46701439fc18560ef;hb=58cc9aa288286beb79f78ce4546d5a4bebde54e5;hp=19204e870ba75ac52ecda5616a990ebe72df11da;hpb=ca9cd0aeee0ce78a891f7f6091ca8704231a446d;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/http_parser_sanity.ml b/helm/DEVEL/ocaml-http/http_parser_sanity.ml
index 19204e870..be9293469 100644
--- a/helm/DEVEL/ocaml-http/http_parser_sanity.ml
+++ b/helm/DEVEL/ocaml-http/http_parser_sanity.ml
@@ -84,6 +84,9 @@ let heal_header (name, value) =
   heal_header_name name;
   heal_header_value name
  
-let url_of_string = url_of_string request_uri_syntax
+let url_of_string s =
+  try
+    url_of_string request_uri_syntax s
+  with Neturl.Malformed_URL -> raise (Malformed_URL s)
 let string_of_url = Neturl.string_of_url