diff options
| author | Maxime Dénès | 2018-05-06 17:19:58 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2018-05-06 17:19:58 +0200 |
| commit | dad4731deed5c09e4e6cb212cd81462f7896c363 (patch) | |
| tree | 413c52bbb7c67c228e20434ef2dfd6bd59c86753 /pretyping/patternops.ml | |
| parent | 87c959542e1bed55b14d371f1be02cd60d89082c (diff) | |
| parent | afceace455a4b37ced7e29175ca3424996195f7b (diff) | |
Merge PR #6156: [api] Rename `global_reference` to `GlobRef.t` to follow kernel style.
Diffstat (limited to 'pretyping/patternops.ml')
| -rw-r--r-- | pretyping/patternops.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pretyping/patternops.ml b/pretyping/patternops.ml index 27e457e3b3..ccfb7f9900 100644 --- a/pretyping/patternops.ml +++ b/pretyping/patternops.ml @@ -30,7 +30,7 @@ let case_info_pattern_eq i1 i2 = i1.cip_extensible == i2.cip_extensible let rec constr_pattern_eq p1 p2 = match p1, p2 with -| PRef r1, PRef r2 -> eq_gr r1 r2 +| PRef r1, PRef r2 -> GlobRef.equal r1 r2 | PVar v1, PVar v2 -> Id.equal v1 v2 | PEvar (ev1, ctx1), PEvar (ev2, ctx2) -> Evar.equal ev1 ev2 && Array.equal constr_pattern_eq ctx1 ctx2 |