X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2Fhttp_parser.ml;h=af371bb1ebd613c0bab0db53d3b68fd75dceafba;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=ca17f02f7b5fd10a0f17e330f55487f40b1d52fe;hpb=2026624f827b29c35d54aa67b301250123ea7311;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/http_parser.ml b/helm/DEVEL/ocaml-http/http_parser.ml
index ca17f02f7..af371bb1e 100644
--- a/helm/DEVEL/ocaml-http/http_parser.ml
+++ b/helm/DEVEL/ocaml-http/http_parser.ml
@@ -111,7 +111,7 @@ let parse_response_fst_line ic =
   debug_print (sprintf "HTTP response line (not yet parsed): %s" response_line);
   try
     (match Pcre.split ~rex:pieces_sep response_line with
-    | [ version_raw; code_raw; _ ] ->
+    | version_raw :: code_raw :: _ ->
         (version_of_string version_raw,             (* method *)
         status_of_code (int_of_string code_raw))    (* status *)
     | _ -> raise (Malformed_response response_line))