diff options
Diffstat (limited to 'library')
| -rw-r--r-- | library/library.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/library/library.ml b/library/library.ml index bca44726d2..9c881e515d 100644 --- a/library/library.ml +++ b/library/library.ml @@ -665,5 +665,5 @@ open Printf let mem s = let m = try_find_library s in h 0 (str (sprintf "%dk (cenv = %dk / seg = %dk)" - (size_kb m) (size_kb m.library_compiled) - (size_kb m.library_objects))) + (CObj.size_kb m) (CObj.size_kb m.library_compiled) + (CObj.size_kb m.library_objects))) |