diff options
Diffstat (limited to 'tactics/hipattern.ml')
| -rw-r--r-- | tactics/hipattern.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tactics/hipattern.ml b/tactics/hipattern.ml index d9d81238b..1f78dcb85 100644 --- a/tactics/hipattern.ml +++ b/tactics/hipattern.ml @@ -96,7 +96,7 @@ let op2bool = function Some _ -> true | None -> false let match_with_non_recursive_type t = match kind_of_term t with - | IsAppL _ -> + | IsApp _ -> let (hdapp,args) = decomp_app t in (match kind_of_term hdapp with | IsMutInd ind -> |