diff options
Diffstat (limited to 'toplevel/mltop.ml')
-rw-r--r-- | toplevel/mltop.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/mltop.ml b/toplevel/mltop.ml index 4ad1940cc..266397de8 100644 --- a/toplevel/mltop.ml +++ b/toplevel/mltop.ml @@ -319,7 +319,7 @@ let unfreeze_ml_modules x = let _ = Summary.declare_summary "ML-MODULES" - { Summary.freeze_function = get_loaded_modules; + { Summary.freeze_function = (fun _ -> get_loaded_modules ()); Summary.unfreeze_function = unfreeze_ml_modules; Summary.init_function = reset_loaded_modules } |