some interfaces improved

[helm.git] / helm / software / lambda-delta / basic_ag / bagType.ml

diff --git a/helm/software/lambda-delta/basic_ag/bagType.ml b/helm/software/lambda-delta/basic_ag/bagType.ml
index 6adcc408740d55bcadb9ac5f776ad7aba831476e..da808cd4564d13979aca575db67f686400651659 100644 (file)
--- a/helm/software/lambda-delta/basic_ag/bagType.ml
+++ b/helm/software/lambda-delta/basic_ag/bagType.ml
@@ -68,9 +68,9 @@ let rec b_type_of f ~si g c x =
         | _, _, B.Abbr (B.Cast (w, v)) -> f x w
         | _, _, B.Abbr _               -> assert false
         | _, _, B.Void                 ->
-           error1 "reference to excluded object" c x
+           error1 "reference to excluded entry" c x
       in
-      E.get_obj f uri   
+      E.get_entry f uri   
    | B.Bind (l, id, B.Abbr v, t) ->
       let f xv xt tt =
          f (S.sh2 v xv t xt x (B.bind_abbr l id)) (B.bind_abbr l id xv tt)