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
---
 toplevel/vernacentries.ml | 11 -----------
 1 file changed, 11 deletions(-)

(limited to 'toplevel')

diff --git a/toplevel/vernacentries.ml b/toplevel/vernacentries.ml
index 7737bdc6ce..1a45b8540b 100644
--- a/toplevel/vernacentries.ml
+++ b/toplevel/vernacentries.ml
@@ -1451,14 +1451,3 @@ let _ =
 	  if subtree_solved () then 
 	    (rev_mutate top_of_tree; print_subgoals()) 
        ))
-
-(*Only for debug*)
-(***
-let _ =
-  add "PrintConstr"
-    (function
-       | [VARG_CONSTR c] -> 
-	   (fun () ->
-	      Term.constr_display (constr_of_com empty_evd (initial_sign()) c))
-       | _ -> bad_vernac_args "PrintConstr")
-***)
-- 
cgit v1.2.3