X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2FDEVEL%2Focaml-http%2Fhttp_parser.mli;h=c2c5a71134dfe702289bfa9a08a9964973c50d01;hb=e597c44ff938a45dcbf74f460425b02513cfe4cf;hp=cd42c79e52e27cbea9fc49d1259d06e57379e411;hpb=ca9cd0aeee0ce78a891f7f6091ca8704231a446d;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/http_parser.mli b/helm/DEVEL/ocaml-http/http_parser.mli
index cd42c79e5..c2c5a7113 100644
--- a/helm/DEVEL/ocaml-http/http_parser.mli
+++ b/helm/DEVEL/ocaml-http/http_parser.mli
@@ -23,7 +23,7 @@ open Http_types;;
 
 val split_query_params: string -> (string * string) list
 
-val parse_request_fst_line: in_channel -> meth * Neturl.url * version
+val parse_request_fst_line: in_channel -> meth * Neturl.url * version option
 val parse_query_get_params: Neturl.url -> (string * string) list
 val parse_path: Neturl.url -> string
 val parse_headers: in_channel -> (string * string) list