diff options
| -rw-r--r-- | library/library.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/library/library.ml b/library/library.ml index d1e162affc..ba41615a9e 100644 --- a/library/library.ml +++ b/library/library.ml @@ -191,7 +191,8 @@ let require_module spec name fileopt export = | None -> name | Some f -> f in - add_anonymous_leaf (in_require (name,file,export)) + add_anonymous_leaf (in_require (name,file,export)); + add_frozen_state () (*s [save_module s] saves the module [m] to the disk. *) |