else m, r, None
| B.GRef (_, u) ->
begin match BE.get_entity u with
- | _, a, _, E.Abbr v ->
+ | _, a, _, E.Abbr (_, v) ->
m, B.gref a u, Some v
- | _, _, _, E.Abst w ->
+ | _, _, _, E.Abst (_, w) ->
if assert_tstep m true then begin
IFDEF SUMMARY THEN
if !G.summary then O.add ~grt:1 ()
step st (tstep m) w
end else
m, r, None
- | _, _, _, E.Void ->
+ | _, _, _, E.Void ->
assert false
end
| B.LRef (_, i) ->