From 1bafb18f64ab1c929abfaf9c1b75f691914d9a46 Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau
Date: Wed, 25 Mar 2015 19:06:16 +0100
Subject: Fix vm compiler to refuse to compile code making use of inductives
 with more than 245 constructors (unsupported by OCaml's runtime).

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

(limited to 'kernel/declareops.ml')

diff --git a/kernel/declareops.ml b/kernel/declareops.ml
index 48a6098eee..a7051d5c13 100644
--- a/kernel/declareops.ml
+++ b/kernel/declareops.ml
@@ -129,7 +129,7 @@ let subst_const_body sub cb =
         const_type = type';
         const_proj = proj';
         const_body_code =
-          Cemitcodes.subst_to_patch_subst sub cb.const_body_code;
+          Option.map (Cemitcodes.subst_to_patch_subst sub) cb.const_body_code;
         const_polymorphic = cb.const_polymorphic;
         const_universes = cb.const_universes;
         const_inline_code = cb.const_inline_code }
-- 
cgit v1.2.3