From 6810929f652be3ebe40de86fe360665c6aded049 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 21 Jun 2011 18:43:33 +0000
Subject: Cleaning debugging printer relative to new proof engine. In
 particular, new printer for evar_map which displays undefined evars + defined
 evars that were instantiated by these undefined evars and recursively, up to
 some arbitrary level n chosen to be in practice n=2 (thanks to Arnaud).

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14231 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 plugins/subtac/subtac_utils.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'plugins')

diff --git a/plugins/subtac/subtac_utils.ml b/plugins/subtac/subtac_utils.ml
index 7fba23dc23..cd9028fe87 100644
--- a/plugins/subtac/subtac_utils.ml
+++ b/plugins/subtac/subtac_utils.ml
@@ -119,7 +119,7 @@ let my_print_context = Termops.print_rel_context
 let my_print_named_context = Termops.print_named_context
 let my_print_env = Termops.print_env
 let my_print_glob_constr = Printer.pr_glob_constr_env
-let my_print_evardefs = Evd.pr_evar_map
+let my_print_evardefs = Evd.pr_evar_map None
 
 let my_print_tycon_type = Evarutil.pr_tycon_type
 
-- 
cgit v1.2.3