From: Stefano Zacchiroli Date: Wed, 4 Dec 2002 08:46:25 +0000 (+0000) Subject: - bugfix: removed Http_types -> Http_types dep X-Git-Tag: v0_3_99~184 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=9175623e876ce8ac551c5af96e9836f5347b877c;p=helm.git - bugfix: removed Http_types -> Http_types dep --- diff --git a/helm/DEVEL/ocaml-http/http_types.ml b/helm/DEVEL/ocaml-http/http_types.ml index 011cbcb29..7233056fc 100644 --- a/helm/DEVEL/ocaml-http/http_types.ml +++ b/helm/DEVEL/ocaml-http/http_types.ml @@ -110,7 +110,7 @@ type status = exception Invalid_header of string exception Invalid_HTTP_version of string exception Invalid_code of int -exception Invalid_status of Http_types.status +exception Invalid_status of status exception Malformed_query of string exception Malformed_query_part of string * string