X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2Fhttp_types.ml;fp=helm%2FDEVEL%2Focaml-http%2Fhttp_types.ml;h=34c8481a7df72109d811a14bc25fdd34232e25f3;hb=3e666920212c55ad4960ee2b30335acf8eb40560;hp=909b4681adc2a74eb0214ac2a7cecfab3febde96;hpb=48a7026c6856e46e838e26ad731a75db2dd2c8d9;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/http_types.ml b/helm/DEVEL/ocaml-http/http_types.ml
index 909b4681a..34c8481a7 100644
--- a/helm/DEVEL/ocaml-http/http_types.ml
+++ b/helm/DEVEL/ocaml-http/http_types.ml
@@ -128,6 +128,7 @@ exception Invalid_HTTP_method of string
 exception Invalid_code of int
 exception Invalid_status of status
 
+exception Malformed_URL of string
 exception Malformed_query of string
 exception Malformed_query_part of string * string
 exception Unsupported_method of string
@@ -146,7 +147,7 @@ exception Quit
 
 class type message = object
 
-    method version: version
+    method version: version option
     method setVersion: version -> unit
 
     method body: string