aboutsummaryrefslogtreecommitdiffhomepage
path: root/library/assumptions.ml
diff options
context:
space:
mode:
Diffstat (limited to 'library/assumptions.ml')
-rw-r--r--library/assumptions.ml4
1 files changed, 2 insertions, 2 deletions
diff --git a/library/assumptions.ml b/library/assumptions.ml
index 1f6c8eeeb..84e870499 100644
--- a/library/assumptions.ml
+++ b/library/assumptions.ml
@@ -60,12 +60,12 @@ let modcache = ref (MPmap.empty : structure_body MPmap.t)
let rec search_mod_label lab = function
| [] -> raise Not_found
- | (l, SFBmodule mb) :: _ when eq_label l lab -> mb
+ | (l, SFBmodule mb) :: _ when Label.equal l lab -> mb
| _ :: fields -> search_mod_label lab fields
let rec search_cst_label lab = function
| [] -> raise Not_found
- | (l, SFBconst cb) :: _ when eq_label l lab -> cb
+ | (l, SFBconst cb) :: _ when Label.equal l lab -> cb
| _ :: fields -> search_cst_label lab fields
let rec lookup_module_in_impl mp =