]> matita.cs.unibo.it Git - helm.git/commitdiff
- bugfix: removed Http_types -> Http_types dep
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 4 Dec 2002 08:46:25 +0000 (08:46 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 4 Dec 2002 08:46:25 +0000 (08:46 +0000)
helm/DEVEL/ocaml-http/http_types.ml

index 011cbcb29745e521a35d567549a36eeb75a521a0..7233056fc40152c6cc6c34d90aa5eb57c9bdd372 100644 (file)
@@ -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