simplification du make depend; fonctions de stat. util. memoire dans certains modules

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1355 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 7 insertions, 1 deletions

diff --git a/lib/util.ml b/lib/util.ml
index e7cf325640..b5611c50b1 100644
--- a/lib/util.ml
+++ b/lib/util.ml
@@ -551,8 +551,14 @@ module Size = struct
     traverse (repr o);
     !count
 
-  let size_b o = (size_w o) * Sys.word_size lsr 3
+  let size_b o = (size_w o) * (Sys.word_size / 8)
+
+  let size_kb o = (size_w o) / (8192 / Sys.word_size)
 
 end
 
+let size_w = Size.size_w
 let size_b = Size.size_b
+let size_kb = Size.size_kb
+
+