From 838326c399c48cd55f15b195340fa92df59817fb Mon Sep 17 00:00:00 2001
From: barras
Date: Wed, 8 Sep 2004 18:42:11 +0000
Subject: unification encore...

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

(limited to 'dev/include')

diff --git a/dev/include b/dev/include
index eb370a5d84..bbee6ac742 100644
--- a/dev/include
+++ b/dev/include
@@ -21,8 +21,8 @@
 #install_printer  (* goal *)  prgoal;;
 #install_printer  (* sigma goal *)  prsigmagoal;;
 #install_printer  (* proof *)  pproof;;
-#install_printer  (* global_constraints *)  prevd;;
-#install_printer  (* readable_constraints *)  prevc;;
+#install_printer  (* evar_map *)  prevm;;
+#install_printer  (* evar_defs *)  prevd;;
 #install_printer  (* walking_constraints *)  prwc;;
 #install_printer  (* clenv *) prclenv;;
 #install_printer  (* env *) ppenv;;
-- 
cgit v1.2.3