From 89b9e17d36d378fc340d2a33d4df0e1c8a739135 Mon Sep 17 00:00:00 2001
From: msozeau
Date: Tue, 29 Oct 2013 13:29:55 +0000
Subject: - install evar printer for debugging - make unification try canonical
 structures before expansion as in evar_conv - add a fast path to evar
 inversion (patch from B. Ziliani).

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16945 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 dev/include | 1 +
 1 file changed, 1 insertion(+)

(limited to 'dev')

diff --git a/dev/include b/dev/include
index f785573ceb..9518034df1 100644
--- a/dev/include
+++ b/dev/include
@@ -44,6 +44,7 @@
 (*#install_printer  (* proof *)  pproof;;*)
 #install_printer  (* Goal.goal *)  ppgoalgoal;;
 #install_printer  (* metaset.t *) ppmetas;;
+#install_printer  (* evar *)  ppevar;;
 #install_printer  (* evar_map *)  ppevm;;
 #install_printer  (* Evar.Set.t *) ppexistentialset;;
 #install_printer  (* clenv *) ppclenv;;
-- 
cgit v1.2.3