diff options
Diffstat (limited to 'checker/check.ml')
| -rw-r--r-- | checker/check.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/checker/check.ml b/checker/check.ml index 917accce9d..7e834270d8 100644 --- a/checker/check.ml +++ b/checker/check.ml @@ -284,7 +284,7 @@ let with_magic_number_check f a = let mk_library md f get_table digest = { library_name = md.md_name; library_filename = f; - library_compiled = Safe_typing.LightenLibrary.load false get_table md.md_compiled; + library_compiled = Safe_typing.LightenLibrary.load true get_table md.md_compiled; library_deps = md.md_deps; library_digest = digest } |