diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2018-03-09 17:24:25 +0100 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2018-03-09 17:24:25 +0100 |
| commit | 6177c792aeb0e7ee523ac9777748125a991b4195 (patch) | |
| tree | 565f74c6c1e6f75ac528c55dc78fe6a9f6e7896e /plugins/setoid_ring | |
| parent | 3b4bae6246b780961aa49b81a074e77189252bb3 (diff) | |
| parent | f3aa5579c36223c98968c82545500340d76b5378 (diff) | |
Merge PR #6769: Split closure cache and remove whd_both
Diffstat (limited to 'plugins/setoid_ring')
| -rw-r--r-- | plugins/setoid_ring/newring.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/setoid_ring/newring.ml b/plugins/setoid_ring/newring.ml index b6bac1a14..99bb8440c 100644 --- a/plugins/setoid_ring/newring.ml +++ b/plugins/setoid_ring/newring.ml @@ -90,7 +90,7 @@ let lookup_map map = let protect_red map env sigma c0 = let evars ev = Evarutil.safe_evar_value sigma ev in let c = EConstr.Unsafe.to_constr c0 in - EConstr.of_constr (kl (create_clos_infos ~evars all env) + EConstr.of_constr (kl (create_clos_infos ~evars all env) (create_tab ()) (mk_clos_but (lookup_map map sigma c0) (Esubst.subs_id 0) c));; let protect_tac map = |