- new attributes system

[helm.git] / helm / software / helena / src / basic_rg / brgValidity.ml

diff --git a/helm/software/helena/src/basic_rg/brgValidity.ml b/helm/software/helena/src/basic_rg/brgValidity.ml
index e358d5a1909304faea2c84187ac0c9ed71ca14a0..c83c5e87f12fa4602b18f46541479e5120280ff7 100644 (file)
--- a/helm/software/helena/src/basic_rg/brgValidity.ml
+++ b/helm/software/helena/src/basic_rg/brgValidity.ml
@@ -69,9 +69,9 @@ let rec b_validate err f st m x =
       end
    | B.GRef (_, uri)  ->
       begin match BE.get_entity uri with
-         | _, _, E.Abst _
-        | _, _, E.Abbr _ -> f ()
-        | _, _, E.Void   ->
+         | _, _, _, E.Abst _
+        | _, _, _, E.Abbr _ -> f ()
+        | _, _, _, E.Void   ->
             error1 err "reference to unknown entry" m x
       end
    | B.Bind (a, b, t) ->