From 351a500eada776832ac9b09657e42f5d6cd7210f Mon Sep 17 00:00:00 2001
From: barras
Date: Tue, 26 Sep 2006 11:18:22 +0000
Subject: mise a jour du nouveau ring et ajout du nouveau field, avant
 renommages

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9178 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 563edd0420..42d2a01710 100644
--- a/dev/include
+++ b/dev/include
@@ -25,6 +25,7 @@
 #install_printer  (* tactic *) pptac;;
 #install_printer  (* object *) ppobj;;
 #install_printer  (* global_reference *) ppglobal;;
+#install_printer  (* generic_argument *) pp_generic_argument;;
 
 #install_printer  (* fconstr *) ppfconstr;;
 
-- 
cgit v1.2.3