From 5c6a50d6ec1d04bacd3e41ffbb88453fef92cd5d Mon Sep 17 00:00:00 2001
From: Benjamin Gregoire
Date: Thu, 26 Mar 2015 14:24:54 +0100
Subject: Fix bug 4157, change the representation of inductive constructor when
 there is too many non constant constructors in the inductive type Conflicts: 
 kernel/cbytegen.ml

---
 kernel/cbytecodes.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'kernel/cbytecodes.ml')

diff --git a/kernel/cbytecodes.ml b/kernel/cbytecodes.ml
index ae679027d6..91b701e0e6 100644
--- a/kernel/cbytecodes.ml
+++ b/kernel/cbytecodes.ml
@@ -24,6 +24,7 @@ let fix_tag = 3
 let switch_tag = 4
 let cofix_tag = 5
 let cofix_evaluated_tag = 6
+let max_tag = Obj.lazy_tag - 1
 
 type structured_constant =
   | Const_sorts of sorts
-- 
cgit v1.2.3