diff options
author | Matthieu Sozeau <mattam@mattam.org> | 2018-06-14 11:21:28 +0200 |
---|---|---|
committer | Matthieu Sozeau <mattam@mattam.org> | 2018-06-14 11:21:28 +0200 |
commit | e40e2e7bb250686836693911717d7acfee72ba81 (patch) | |
tree | e9fcc9270f6f3149084ff25734186e8a777ed349 /plugins/ssr/ssrast.mli | |
parent | 80b72879776c461bfaeaab4c7a85a0797f796f18 (diff) | |
parent | 9b9074640c23ced68d92f75558caa2ed77770bcc (diff) |
Merge PR #7787: Fixes #7780: missing lift in expanding alias under a binder in unification
Diffstat (limited to 'plugins/ssr/ssrast.mli')
0 files changed, 0 insertions, 0 deletions