From f3eaf2869e84c942d56a7fe0cc459d9943e4b059 Mon Sep 17 00:00:00 2001
From: aspiwack
Date: Tue, 18 Dec 2007 12:19:12 +0000
Subject: 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
---
 kernel/term.mli | 6 ------
 1 file changed, 6 deletions(-)

(limited to 'kernel/term.mli')

diff --git a/kernel/term.mli b/kernel/term.mli
index b0387417cc..b5304b6511 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
-- 
cgit v1.2.3