diff options
| author | Hugo Herbelin | 2019-05-18 03:48:00 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2019-05-18 03:48:00 +0200 |
| commit | d61c293eb0fc99eb921ef5ea599bbab8ac7aedcc (patch) | |
| tree | d333fac26e619ae6687834fc89617323c9c3e83f /interp/implicit_quantifiers.ml | |
| parent | e9c2bc9aaddd401d18d90411ff68644b1d05c0d5 (diff) | |
| parent | 2c94706d810e371a416b8c2893eb88c40a09b75c (diff) | |
Merge PR #10134: Simplify impargs
Ack-by: SkySkimmer
Reviewed-by: herbelin
Ack-by: jashug
Diffstat (limited to 'interp/implicit_quantifiers.ml')
0 files changed, 0 insertions, 0 deletions