From d5b13126177a7f30069d0512f1d08b34e00e3fee Mon Sep 17 00:00:00 2001
From: msozeau
Date: Wed, 3 Apr 2013 14:39:10 +0000
Subject: Fix for bug #3017: wrong handling of the unresolvability status in
 clenvtac and error-printing code.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16383 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 99c1a1b6cf..15725ae8b6 100644
--- a/dev/include
+++ b/dev/include
@@ -33,6 +33,7 @@
 #install_printer  (* constr_substituted *) ppsconstr;; 
 #install_printer  (* universe *)  ppuni;;
 #install_printer  (* universes *)  ppuniverses;;
+#install_printer  (* constraints *)  ppconstraints;;
 #install_printer  (* type_judgement *) pptype;;
 #install_printer  (* judgement *) ppj;;
 
-- 
cgit v1.2.3