From 596a4a5251cc50f50bd6d25e36c81341bf65cfed Mon Sep 17 00:00:00 2001
From: Benjamin Gregoire <Benjamin.Gregoire@inria.fr>
Date: Mon, 30 Mar 2015 10:47:12 +0200
Subject: fix code and bound for SWITCH instruction.

---
 kernel/cbytegen.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'kernel/cbytegen.ml')

diff --git a/kernel/cbytegen.ml b/kernel/cbytegen.ml
index 45808b072..07fab06a4 100644
--- a/kernel/cbytegen.ml
+++ b/kernel/cbytegen.ml
@@ -335,8 +335,8 @@ let init_fun_code () = fun_code := []
 
 exception TooLargeInductive of Id.t
 
-let max_nb_const = 0x7FFFFF 
-let max_nb_block = 0x7FFFFF + last_variant_tag - 1
+let max_nb_const = 0x1000000 
+let max_nb_block = 0x1000000 + last_variant_tag - 1
 
 let str_max_constructors = 
   Format.sprintf 
-- 
cgit v1.2.3