diff options
Diffstat (limited to 'tactics/elim.ml')
| -rw-r--r-- | tactics/elim.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tactics/elim.ml b/tactics/elim.ml index 81fab6e2b..06f84ecd1 100644 --- a/tactics/elim.ml +++ b/tactics/elim.ml @@ -107,7 +107,7 @@ let head_in indl t gl = if !up_to_delta then find_mrectype env sigma t else extract_mrectype t - in List.mem ity indl + in List.exists (fun i -> eq_ind i ity) indl with Not_found -> false let decompose_these c l = |