diff options
| author | Pierre-Marie Pédrot | 2019-06-16 12:25:14 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-06-16 12:25:14 +0200 |
| commit | 79a211954a0cb8355315867d5407da7f6cb812b3 (patch) | |
| tree | 2acb7128cae98aa2fbd831fa0f9b6d98d62effd3 /interp/implicit_quantifiers.ml | |
| parent | 9374ff503ad52f185e603da4661ec7e5ce72f4a1 (diff) | |
| parent | 594dbe45f8502c8fbb675643cea63e4879f868c3 (diff) | |
Merge PR #10355: [funind] Untabify; necessary to ease the review of subsequent work.
Reviewed-by: maximedenes
Diffstat (limited to 'interp/implicit_quantifiers.ml')
0 files changed, 0 insertions, 0 deletions