From b1512d41c3d7065eb76eec0014376ad144414fb8 Mon Sep 17 00:00:00 2001
From: delahaye
Date: Wed, 3 May 2000 22:32:59 +0000
Subject: Retrait de PrintConstr vers top_printers

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@412 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 kernel/term.mli | 2 --
 1 file changed, 2 deletions(-)

(limited to 'kernel/term.mli')

diff --git a/kernel/term.mli b/kernel/term.mli
index 69db204fb0..ef75cde65d 100644
--- a/kernel/term.mli
+++ b/kernel/term.mli
@@ -561,5 +561,3 @@ val hcons_constr:
     (typed_type -> typed_type)
 
 val hcons1_constr : constr -> constr
-
-val constr_display: constr -> unit
-- 
cgit v1.2.3