From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 18 Feb 2004 15:41:35 +0000 (+0000)
Subject: The order IS significative. Changing the order (in one of the last commits)
X-Git-Tag: v0_0_4~145
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=67460d22396d5fc3a5dffce07b2779e4b7960582;p=helm.git

The order IS significative. Changing the order (in one of the last commits)
broke the ls method.
---

diff --git a/helm/ocaml/getter/http_getter_types.ml b/helm/ocaml/getter/http_getter_types.ml
index bf584f6ce..ee13c6ec6 100644
--- a/helm/ocaml/getter/http_getter_types.ml
+++ b/helm/ocaml/getter/http_getter_types.ml
@@ -35,7 +35,7 @@ exception Internal_error of string
 
 type encoding = Enc_normal | Enc_gzipped
 type answer_format = Fmt_text | Fmt_xml
-type ls_flag = Yes | No | Ann
+type ls_flag = No | Yes | Ann
 type ls_object =
   {
     uri: string;