diff options
Diffstat (limited to 'pretyping/evarconv.ml')
| -rw-r--r-- | pretyping/evarconv.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pretyping/evarconv.ml b/pretyping/evarconv.ml index d3b9c04f6..b877624ad 100644 --- a/pretyping/evarconv.ml +++ b/pretyping/evarconv.ml @@ -300,8 +300,8 @@ and evar_eqappr_x env isevars pbty (term1,l1 as appr1) (term2,l2 as appr2) = | (IsMutInd _ | IsMutConstruct _ | IsSort _ | IsProd _), _ -> false | _, (IsMutInd _ | IsMutConstruct _ | IsSort _ | IsProd _) -> false - | (IsAppL _ | IsMutCase _ | IsFix _ | IsCoFix _), - (IsAppL _ | IsMutCase _ | IsFix _ | IsCoFix _) -> false + | (IsApp _ | IsMutCase _ | IsFix _ | IsCoFix _), + (IsApp _ | IsMutCase _ | IsFix _ | IsCoFix _) -> false |