diff options
| author | Pierre-Marie Pédrot | 2020-09-23 17:56:33 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-10-21 12:27:39 +0200 |
| commit | 9a3d4e284a03942e8a2b1f9d87a0b349702eaaa9 (patch) | |
| tree | 796075d0664347a8704fd53ca1a96a0d1a48abfd /tactics | |
| parent | 373376b734343d86aecc8d1f91a8c78eefa2b6cc (diff) | |
Add missing deprecations in Projection API.
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 = |