From b80967f19b1dad2b21ce3588d336d9792fde89ed Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 18 Feb 2004 15:41:06 +0000
Subject: [PATCH] typo fixed. Used to break the ls method.

---
 helm/ocaml/getter/http_getter.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/helm/ocaml/getter/http_getter.ml b/helm/ocaml/getter/http_getter.ml
index 2883c383c..38683430d 100644
--- a/helm/ocaml/getter/http_getter.ml
+++ b/helm/ocaml/getter/http_getter.ml
@@ -444,7 +444,7 @@ let ls =
           ls_items :=
             Ls_object {
               uri = uri; ann = annflag;
-              types = typesflag; body = typesflag; proof_tree = treeflag
+              types = typesflag; body = bodyflag; proof_tree = treeflag
             } :: !ls_items)
         objs;
       List.rev !ls_items
-- 
2.39.2