Skip to content

Commit 81d6415

Browse files
committed
409: read cmis with get_cached_entry as in 49e703a
1 parent 2f303dd commit 81d6415

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/ocaml/typing/409/env.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2922,7 +2922,7 @@ let check_state_consistency () =
29222922
| _ -> false
29232923
| exception Not_found -> true
29242924
and found _modname filename pm =
2925-
match !(Cmi_cache.(read filename).Cmi_cache.cmi_cache) with
2925+
match !(Cmi_cache.(get_cached_entry filename).Cmi_cache.cmi_cache) with
29262926
| Cmi_cache_store sg -> Std.lazy_eq sg pm.pm_signature
29272927
| _ -> false
29282928
| exception Not_found -> false

0 commit comments

Comments
 (0)