Use full transparent state when checking well-typedness of a second order matching

infered predicate, instead of the arguments ts which might be empty (e.g. in unification).
Fixes failure in success/unification.v

0 files changed, 0 insertions, 0 deletions