diff options
| author | Gaëtan Gilbert | 2018-11-06 22:39:48 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2018-11-16 15:08:46 +0100 |
| commit | 563623f4eeb9d9992b1bffb5b71a6b849ba71132 (patch) | |
| tree | 9b5feefda5bf19c67a575159f207cf8d58c5e56a /engine/eConstr.ml | |
| parent | 778213b89d893b55e572fc1813c7209d647ed6b0 (diff) | |
Small simplification in fold_constr_with_binders
Diffstat (limited to 'engine/eConstr.ml')
0 files changed, 0 insertions, 0 deletions