From 6b2d99445d35ea71cd24becb7f936e0cc9779d46 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Thu, 8 Feb 2001 08:29:12 +0000
Subject: 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
---
 lib/util.ml | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'lib/util.ml')

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
+
+
-- 
cgit v1.2.3