From ed29c6bbe9a45e7d3996c230a6cc2bf7b11848f1 Mon Sep 17 00:00:00 2001
From: barras <barras@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Fri, 17 Sep 2004 20:28:19 +0000
Subject: restructuration des printers: proofs passe avant parsing

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

(limited to 'proofs/logic.mli')

diff --git a/proofs/logic.mli b/proofs/logic.mli
index 0a641e975..561c26a7f 100644
--- a/proofs/logic.mli
+++ b/proofs/logic.mli
@@ -60,8 +60,3 @@ type refiner_error =
 exception RefinerError of refiner_error
 
 val catchable_exception : exn -> bool
-
-
-(*s Pretty-printer. *)
-
-val pr_prim_rule   : prim_rule -> Pp.std_ppcmds
-- 
cgit v1.2.3