diff options
Diffstat (limited to 'kernel/safe_typing.ml')
| -rw-r--r-- | kernel/safe_typing.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/safe_typing.ml b/kernel/safe_typing.ml index 90d52572a..40f16a6e6 100644 --- a/kernel/safe_typing.ml +++ b/kernel/safe_typing.ml @@ -254,7 +254,7 @@ let check_initial senv = assert (is_initial senv) let check_imports current_libs needed = let check (id,stamp) = try - let actual_stamp = List.assoc id current_libs in + let actual_stamp = List.assoc_f DirPath.equal id current_libs in if not (String.equal stamp actual_stamp) then Errors.error ("Inconsistent assumptions over module "^(DirPath.to_string id)^".") |