From 8a9de08c0e6a5130103cedf05cbcebcf5f621d1e Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau
Date: Wed, 8 Oct 2014 23:28:06 +0200
Subject: Add debug printers for projections, fix printing of evar constraints
 and unsatisfiable constraints which were not done in the right environment.

---
 dev/base_include | 1 +
 1 file changed, 1 insertion(+)

(limited to 'dev/base_include')

diff --git a/dev/base_include b/dev/base_include
index 1d43e64dfa..c2da8b18aa 100644
--- a/dev/base_include
+++ b/dev/base_include
@@ -34,6 +34,7 @@
 #install_printer  (* qualid *)  ppqualid;;
 #install_printer  (* kernel_name *) ppkn;;
 #install_printer  (* constant *) ppcon;;
+#install_printer  (* projection *) ppproj;;
 #install_printer  (* cl_index *) ppclindex;;
 #install_printer  (* recarg Rtree.t *)  ppwf_paths;;
 #install_printer  (* constr *)  print_pure_constr;;
-- 
cgit v1.2.3