From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 18 Feb 2004 15:41:06 +0000 (+0000)
Subject: typo fixed. Used to break the ls method.
X-Git-Tag: v0_0_4~146
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=b80967f19b1dad2b21ce3588d336d9792fde89ed;p=helm.git

typo fixed. Used to break the ls method.
---

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