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
---
 proofs/tacexpr.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'proofs')

diff --git a/proofs/tacexpr.ml b/proofs/tacexpr.ml
index 860a91aff3..f0bace7861 100644
--- a/proofs/tacexpr.ml
+++ b/proofs/tacexpr.ml
@@ -201,6 +201,7 @@ and ('constr,'pat,'cst,'ind,'ref,'id,'tac) gen_tactic_arg =
   | Integer        of int
   | TacCall        of loc *
       'ref * ('constr,'pat,'cst,'ind,'ref,'id,'tac) gen_tactic_arg list
+  | TacFreshId     of string option
   | Tacexp of 'tac
 
 type raw_tactic_expr =
-- 
cgit v1.2.3