diff options
Diffstat (limited to 'library')
| -rw-r--r-- | library/lib.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/library/lib.ml b/library/lib.ml index a6686168da..8686495138 100644 --- a/library/lib.ml +++ b/library/lib.ml @@ -189,6 +189,7 @@ type frozen = library_segment let freeze () = !lib_stk +(* module_name is not set ? *) let unfreeze stk = lib_stk := stk; recalc_path_prefix () |