diff options
| author | Guillaume Melquiond | 2021-02-23 17:51:07 +0100 |
|---|---|---|
| committer | Guillaume Melquiond | 2021-02-24 00:08:09 +0100 |
| commit | b31c4fa57eac8162ad6b6e03f75b13afd9b76db7 (patch) | |
| tree | e379b0769b89831d4756733cc068b2a2ff3da206 /pretyping/typeclasses_errors.ml | |
| parent | f89f0eb4717b64f10bdd0a0edc9e93b949bcb33d (diff) | |
Use Reductionops.clos_whd_flags in vm_compute and native_compute.
Diffstat (limited to 'pretyping/typeclasses_errors.ml')
0 files changed, 0 insertions, 0 deletions