From 5c6a50d6ec1d04bacd3e41ffbb88453fef92cd5d Mon Sep 17 00:00:00 2001
From: Benjamin Gregoire <Benjamin.Gregoire@inria.fr>
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.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'kernel/cbytecodes.mli')

diff --git a/kernel/cbytecodes.mli b/kernel/cbytecodes.mli
index b65268f72..4277b4771 100644
--- a/kernel/cbytecodes.mli
+++ b/kernel/cbytecodes.mli
@@ -20,6 +20,7 @@ val fix_tag : tag
 val switch_tag : tag
 val cofix_tag : tag
 val cofix_evaluated_tag : tag
+val max_tag : tag 
 
 type structured_constant =
   | Const_sorts of sorts
-- 
cgit v1.2.3