From c864319d90c8ea90432fb35198b73287ac54ecc2 Mon Sep 17 00:00:00 2001
From: herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Thu, 5 Dec 2002 19:41:01 +0000
Subject: Ajout affichage fconstr

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

(limited to 'dev/include')

diff --git a/dev/include b/dev/include
index 830e5cb5e..6b8470b30 100644
--- a/dev/include
+++ b/dev/include
@@ -29,3 +29,6 @@
 #install_printer  (* tactic *) pptac;;
 #install_printer  (* object *) pr_obj;;
 #install_printer  (* global_reference *) prglobal;;
+
+#install_printer  (* fconstr *) ppfconstr;;
+
-- 
cgit v1.2.3