From 5bcfa8cab56798f2b575b839fd92b0f743c3d453 Mon Sep 17 00:00:00 2001
From: Maxime Dénès <mail@maximedenes.fr>
Date: Sat, 5 Apr 2014 18:17:28 -0400
Subject: Int31 literals in native compiler.

---
 kernel/nativelambda.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'kernel/nativelambda.mli')

diff --git a/kernel/nativelambda.mli b/kernel/nativelambda.mli
index 98314348a..751f11978 100644
--- a/kernel/nativelambda.mli
+++ b/kernel/nativelambda.mli
@@ -32,6 +32,7 @@ type lambda =
 	(* A fully applied constructor *)
   | Lconstruct    of string * constructor (* prefix, constructor name *)
 	(* A partially applied constructor *)
+  | Luint          of Uint31.t
   | Lval          of Nativevalues.t
   | Lsort         of sorts
   | Lind          of string * inductive (* prefix, inductive name *)
-- 
cgit v1.2.3