diff options
| author | Pierre-Marie Pédrot | 2016-06-22 20:31:01 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2016-06-24 15:16:03 +0200 |
| commit | e5446e385ba283f3c4cde83e0fc14987e500778a (patch) | |
| tree | ee89e4f3085899b043116b4ca90778a40fecbd21 /interp/implicit_quantifiers.ml | |
| parent | bd170eb3937aa55f665a671fe9d2916a26af2a09 (diff) | |
Optim in Clenv: use noccurn instead of depends.
Diffstat (limited to 'interp/implicit_quantifiers.ml')
0 files changed, 0 insertions, 0 deletions