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/term_typing.mli | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'kernel/term_typing.mli')

diff --git a/kernel/term_typing.mli b/kernel/term_typing.mli
index d84cfe91..69b13e3b 100644
--- a/kernel/term_typing.mli
+++ b/kernel/term_typing.mli
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id: term_typing.mli 9795 2007-04-25 15:13:45Z soubiran $ i*)
+(*i $Id$ i*)
 
 (*i*)
 open Names
@@ -19,13 +19,13 @@ open Entries
 open Typeops
 (*i*)
 
-val translate_local_def : env -> constr * types option -> 
+val translate_local_def : env -> constr * types option ->
   constr * types * Univ.constraints
 
 val translate_local_assum : env -> types ->
   types * Univ.constraints
 
-val infer_declaration : env -> constant_entry -> 
+val infer_declaration : env -> constant_entry ->
    constr_substituted option * constant_type * constraints * bool * bool * bool
 
 val build_constant_declaration : env -> 'a ->
@@ -34,8 +34,8 @@ val build_constant_declaration : env -> 'a ->
 
 val translate_constant : env -> constant -> constant_entry -> constant_body
 
-val translate_mind : 
+val translate_mind :
   env -> mutual_inductive_entry -> mutual_inductive_body
 
-val translate_recipe : 
+val translate_recipe :
   env -> constant -> Cooking.recipe -> constant_body
-- 
cgit v1.2.3