diff options
Diffstat (limited to 'tactics')
| -rw-r--r-- | tactics/cbn.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tactics/cbn.ml b/tactics/cbn.ml index 5838bbcc19..31873ea6b0 100644 --- a/tactics/cbn.ml +++ b/tactics/cbn.ml @@ -226,7 +226,7 @@ struct match x, y with | Cst_const (c1,u1), Cst_const (c2, u2) -> Constant.CanOrd.equal c1 c2 && Univ.Instance.equal u1 u2 - | Cst_proj p1, Cst_proj p2 -> Projection.repr_equal p1 p2 + | Cst_proj p1, Cst_proj p2 -> Projection.Repr.CanOrd.equal (Projection.repr p1) (Projection.repr p2) | _, _ -> false in let rec equal_rec sk1 sk2 = |