diff options
Diffstat (limited to 'library/assumptions.ml')
-rw-r--r-- | library/assumptions.ml | 4 |
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 = |