From d356af7f7d8601f4897978587429297d05a934ce Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Tue, 8 Apr 2014 20:42:06 -0400
Subject: Int31 decompilation in native compiler was still partial. Now fixed.

---
 kernel/nativelambda.mli | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'kernel/nativelambda.mli')

diff --git a/kernel/nativelambda.mli b/kernel/nativelambda.mli
index afebf8087a..da1a07d5d8 100644
--- a/kernel/nativelambda.mli
+++ b/kernel/nativelambda.mli
@@ -35,7 +35,8 @@ val compile_static_int31 : bool -> Constr.constr array -> lambda
 val compile_dynamic_int31 : bool -> prefix -> constructor -> lambda array ->
 			    lambda
 
-val before_match_int31 : bool -> prefix -> constructor -> lambda -> lambda
+val before_match_int31 : inductive -> bool -> prefix -> constructor -> lambda ->
+			 lambda
 
 val compile_prim : Primitives.t -> constant -> bool -> prefix -> lambda array ->
 		   lambda
-- 
cgit v1.2.3