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 2883c383cfed62890b76692c3df7fc721338e04f..38683430d106c99d5da66d2d3fd2e23327c99cf0 100644 (file)
--- 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