- (if fix_projections then fire_projection_redex status () else fun x -> x)
- (clean_or_fix_dependent_abstrations status context (apply_subst subst () t))
+ let t = apply_subst subst () t in
+ let t = clean_or_fix_dependent_abstrations status context t in
+ if fix_projections then
+ fire_projection_redex status () t
+ else
+ t