From a2c53cc24077ec911877d9c12e22819b27c516c8 Mon Sep 17 00:00:00 2001
From: aspiwack
Date: Fri, 9 Nov 2007 17:37:11 +0000
Subject: Nettoyage de Print Assumptions :

 - Le code est maintenant mieux commenté.
 - J'ai aussi réorganisé un petit peu pour le rendre plus léger, mais 
presque rien
 - j'ai changé les noms internes : needed_assumptions devient 
assumptions et PrintNeededAssumptions devient PrintAssumptions




git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10311 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 kernel/safe_typing.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel/safe_typing.ml')

diff --git a/kernel/safe_typing.ml b/kernel/safe_typing.ml
index d65caf7cab..91e4c73fc9 100644
--- a/kernel/safe_typing.ml
+++ b/kernel/safe_typing.ml
@@ -109,7 +109,7 @@ let env_of_senv = env_of_safe_env
 (* terms which are closed under the environnement env, i.e
    terms which only depends on constant who are themselves closed *)
 let closed env term = 
-  AssumptionSet.is_empty (needed_assumptions env term)
+  AssumptionSet.is_empty (assumptions env term)
 
 (* the set of safe terms in an environement any recursive set of
    terms who are known not to prove inconsistent statement. It should
-- 
cgit v1.2.3