Nettoyage de code en vue de la release. Plus de Warning: Unused

Variable, et plus de trucs useless qui traînaient par ma faute (y 
compris dans le noyau, la honte).



git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10388 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 0 insertions, 6 deletions

diff --git a/kernel/term.mli b/kernel/term.mli
index b0387417c..b5304b651 100644
--- a/kernel/term.mli
+++ b/kernel/term.mli
@@ -543,9 +543,3 @@ val hcons1_types : types -> types
 (**************************************)
 
 type values
-
-
-(*************************************************************)
-
-(* spiwack: printing of internal representation of constr *)
-val string_of_constr : constr -> string