diff options
Diffstat (limited to 'tactics/rewrite.ml4')
| -rw-r--r-- | tactics/rewrite.ml4 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tactics/rewrite.ml4 b/tactics/rewrite.ml4 index 5d31f24bc3..a598f1d61b 100644 --- a/tactics/rewrite.ml4 +++ b/tactics/rewrite.ml4 @@ -1092,7 +1092,7 @@ let get_hypinfo_ids {c = opt} = | None -> [] | Some (is, gc) -> let avoid = Option.default [] (TacStore.get is.extra f_avoid_ids) in - List.map fst is.lfun @ avoid + Id.Map.fold (fun id _ accu -> id :: accu) is.lfun avoid let rewrite_with flags c left2right loccs : strategy = fun env avoid t ty cstr evars -> |