From f2852e673938e31ccd24ef7573156ed861537e85 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sat, 24 May 2003 23:30:32 +0000
Subject: Ajout FreshId

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

(limited to 'translate')

diff --git a/translate/pptacticnew.ml b/translate/pptacticnew.ml
index 0c4f571d7c..30433b4915 100644
--- a/translate/pptacticnew.ml
+++ b/translate/pptacticnew.ml
@@ -481,6 +481,7 @@ and pr_tacarg env = function
   | TacVoid -> str "()"
   | Reference r -> pr_ref r
   | ConstrMayEval (ConstrTerm c) -> pr_constr env c
+  | TacFreshId sopt -> str "FreshId" ++ pr_opt qstring sopt
   | (ConstrMayEval _|TacCall _|Tacexp _|Integer _) as a ->
       str "'" ++ pr_tac env (latom,E) (TacArg a)
 
-- 
cgit v1.2.3