From 5b7eafd0f00a16d78f99a27f5c7d5a0de77dc7e6 Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Wed, 21 Jul 2010 09:46:51 +0200
Subject: Imported Upstream snapshot 8.3~beta0+13298

---
 kernel/cbytegen.mli | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'kernel/cbytegen.mli')

diff --git a/kernel/cbytegen.mli b/kernel/cbytegen.mli
index dfdcb074..f33fd6cb 100644
--- a/kernel/cbytegen.mli
+++ b/kernel/cbytegen.mli
@@ -1,6 +1,6 @@
 open Names
 open Cbytecodes
-open Cemitcodes 
+open Cemitcodes
 open Term
 open Declarations
 open Pre_env
@@ -9,7 +9,7 @@ open Pre_env
 val compile : env -> constr -> bytecodes * bytecodes * fv
                               (* init, fun, fv *)
 
-val compile_constant_body : 
+val compile_constant_body :
     env -> constr_substituted option -> bool -> bool -> body_code
                                  (* opaque *) (* boxed *)
 
@@ -17,15 +17,15 @@ val compile_constant_body :
 (* spiwack: this function contains the information needed to perform
             the static compilation of int31 (trying and obtaining
             a 31-bit integer in processor representation at compile time) *)
-val compile_structured_int31 : bool -> constr array -> 
+val compile_structured_int31 : bool -> constr array ->
                                structured_constant
 
 (* this function contains the information needed to perform
         the dynamic compilation of int31 (trying and obtaining a
         31-bit integer in processor representation at runtime when
         it failed at compile time *)
-val dynamic_int31_compilation : bool -> comp_env -> 
-                                block array -> 
+val dynamic_int31_compilation : bool -> comp_env ->
+                                block array ->
                                 int -> bytecodes -> bytecodes
 
 (*spiwack: template for the compilation n-ary operation, invariant: n>=1.
@@ -35,6 +35,6 @@ val dynamic_int31_compilation : bool -> comp_env ->
 val op_compilation : int -> instruction -> constant -> bool -> comp_env ->
                              constr array -> int -> bytecodes-> bytecodes
 
-(*spiwack: compiling function to insert dynamic decompilation before 
+(*spiwack: compiling function to insert dynamic decompilation before
            matching integers (in case they are in processor representation) *)
 val int31_escape_before_match : bool -> bytecodes -> bytecodes
-- 
cgit v1.2.3