diff options
| author | Matthieu Sozeau | 2017-07-28 01:35:02 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2019-02-08 11:12:27 +0100 |
| commit | dc8f191f2d81fd5f851b84e7aeda487df584197e (patch) | |
| tree | 3eb0154ad669b8737dec57c3d04421821893dd8a /engine/evd.ml | |
| parent | 1c9e1a39652b401805029519055aa62adacde339 (diff) | |
unification: abstract_list_all_with_dependencies fix
For second_order_matching call, prefer abstraction of evar arguments,
and use same test as original (just eq_constr)
Diffstat (limited to 'engine/evd.ml')
0 files changed, 0 insertions, 0 deletions