From 726130d3d847e59d3556f6b302de155dc052d6a4 Mon Sep 17 00:00:00 2001
From: msozeau
Date: Thu, 4 Aug 2011 14:42:55 +0000
Subject: Fix unification: detect invalid evar instantiations due to scoping
 earlier. Add a debug printer for existential sets (used for frozen_evars in
 w_unify).

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

(limited to 'dev/include')

diff --git a/dev/include b/dev/include
index 5d48722732..705e8e3754 100644
--- a/dev/include
+++ b/dev/include
@@ -28,6 +28,7 @@
 #install_printer  (* Goal.goal *)  ppgoalgoal;;
 #install_printer  (* metaset.t *) ppmetas;;
 #install_printer  (* evar_map *)  ppevm;;
+#install_printer  (* ExistentialSet.t *) ppexistentialset;;
 #install_printer  (* clenv *) ppclenv;;
 #install_printer  (* env *) ppenv;;
 
-- 
cgit v1.2.3