diff options
Diffstat (limited to 'proofs/redexpr.ml')
| -rw-r--r-- | proofs/redexpr.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/proofs/redexpr.ml b/proofs/redexpr.ml index d12b5f8e5..de1e3d2bd 100644 --- a/proofs/redexpr.ml +++ b/proofs/redexpr.ml @@ -51,7 +51,7 @@ let cache_strategy (_,str) = (fun (lev,ql) -> List.iter (fun q -> set_strategy_one q lev) ql) str -let subst_strategy (_,subs,(local,obj)) = +let subst_strategy (subs,(local,obj)) = local, list_smartmap (fun (k,ql as entry) -> |