X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2Fhttp_message.mli;h=9f730939b90ee885844ab92c6476d7e5003b99ee;hb=00bcf4e9f02d1f456b3468eba3de21c1309e5796;hp=e3f06f03fd1a0ab44d1ed33505ffd7e39fb8a83a;hpb=ca9cd0aeee0ce78a891f7f6091ca8704231a446d;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/http_message.mli b/helm/DEVEL/ocaml-http/http_message.mli
index e3f06f03f..9f730939b 100644
--- a/helm/DEVEL/ocaml-http/http_message.mli
+++ b/helm/DEVEL/ocaml-http/http_message.mli
@@ -25,11 +25,11 @@ open Http_types;;
   @param entity body included in the message
   @param headers message headers shipped with the message *)
 class virtual message:
-  body: string -> headers: (string * string) list -> version: version ->
+  body: string -> headers: (string * string) list -> version: version option ->
   clisockaddr: Unix.sockaddr -> srvsockaddr: Unix.sockaddr ->
     object
 
-      method version: version
+      method version: version option
       method setVersion: version -> unit
 
       method body: string