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) ->