From 00894adf6fc11f4336a3ece0c347676bbf0b4c11 Mon Sep 17 00:00:00 2001
From: Benjamin Gregoire
Date: Thu, 26 Mar 2015 19:00:00 +0100
Subject: allows the vm to deal with inductive type with 8388607 constant
 constructors and 8388851 non-constant constructor.

---
 kernel/cemitcodes.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel/cemitcodes.ml')

diff --git a/kernel/cemitcodes.ml b/kernel/cemitcodes.ml
index c5f88f6f5d..aa1bba02d7 100644
--- a/kernel/cemitcodes.ml
+++ b/kernel/cemitcodes.ml
@@ -223,7 +223,7 @@ let emit_instr = function
       slot_for_annot annot;out_int sz
   | Kswitch (tbl_const, tbl_block) ->
       out opSWITCH;
-      out_int (Array.length tbl_const + (Array.length tbl_block lsl 16));
+      out_int (Array.length tbl_const + (Array.length tbl_block lsl 23));
       let org = !out_position in
       Array.iter (out_label_with_orig org) tbl_const;
       Array.iter (out_label_with_orig org) tbl_block
-- 
cgit v1.2.3