diff options
| -rw-r--r-- | tactics/tactics.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tactics/tactics.ml b/tactics/tactics.ml index 5c76ce776b..83e282a303 100644 --- a/tactics/tactics.ml +++ b/tactics/tactics.ml @@ -677,7 +677,7 @@ let pf_lookup_hypothesis_as_renamed_gen red h gl = with Redelimination -> None let is_quantified_hypothesis id g = - match pf_lookup_hypothesis_as_renamed_gen true (NamedHyp id) g with + match pf_lookup_hypothesis_as_renamed_gen false (NamedHyp id) g with | Some _ -> true | None -> false |