- new attributes system

[helm.git] / helm / software / helena / src / basic_ag / bagType.ml

diff --git a/helm/software/helena/src/basic_ag/bagType.ml b/helm/software/helena/src/basic_ag/bagType.ml
index aa4b821a8c1942b3f49e3cba927741e2ab5de983..4a3d37eccdbcf32e111b3cc9d826a15a40b0d19f 100644 (file)
--- a/helm/software/helena/src/basic_ag/bagType.ml
+++ b/helm/software/helena/src/basic_ag/bagType.ml
@@ -61,10 +61,10 @@ let rec b_type_of err f st c x =
       Z.get err0 f c i
    | Z.GRef uri                  ->
       let f = function
-         | _, _, E.Abst (_, w)          -> f x w
-        | _, _, E.Abbr (Z.Cast (w, v)) -> f x w
-        | _, _, E.Abbr _               -> assert false
-        | _, _, E.Void                 -> assert false
+         | _, _, _, E.Abst w               -> f x w
+        | _, _, _, E.Abbr (Z.Cast (w, v)) -> f x w
+        | _, _, _, E.Abbr _               -> assert false
+        | _, _, _, E.Void                 -> assert false
       in
       ZE.get_entity f uri   
    | Z.Bind (a, l, Z.Abbr v, t) ->