From 7a4b3edf1a4299c7813668515ad1b8fa6cf99dd3 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Mon, 11 Jun 2018 10:02:57 +0200
Subject: [VM] Allocate a bit less in digits_from_uint

---
 kernel/clambda.ml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'kernel')

diff --git a/kernel/clambda.ml b/kernel/clambda.ml
index cc50e375f4..0a3fb44cbe 100644
--- a/kernel/clambda.ml
+++ b/kernel/clambda.ml
@@ -836,10 +836,11 @@ let dynamic_int31_compilation fc args =
   if not fc then raise Not_found else
   Luint (UintDigits args)
 
+let d0 = Lint 0
+let d1 = Lint 1
+
 (* We are relying here on the tags of digits constructors *)
 let digits_from_uint i =
-  let d0 = Lint 0 in
-  let d1 = Lint 1 in
   let digits = Array.make 31 d0 in
   for k = 0 to 30 do
     if Int.equal ((Uint31.to_int i lsr k) land 1) 1 then
-- 
cgit v1.2.3