From 2d08ea6e2563bb10170f904f6e527bdec02f2432 Mon Sep 17 00:00:00 2001
From: sacerdot
Date: Fri, 26 Nov 2004 15:50:37 +0000
Subject: backtrack of the last commit (it was my fault: the code is used by
 camlp4-generated code even if it is not found using grep)

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

diff --git a/tactics/tacinterp.mli b/tactics/tacinterp.mli
index 0e6760b318..8d8d12fb40 100644
--- a/tactics/tacinterp.mli
+++ b/tactics/tacinterp.mli
@@ -94,6 +94,9 @@ val intern_constr :
 val intern_hyp :
   glob_sign -> identifier Util.located -> identifier Util.located
 
+val subst_genarg :
+  substitution -> glob_generic_argument -> glob_generic_argument
+
 val subst_rawconstr :
   substitution -> rawconstr_and_expr -> rawconstr_and_expr
 
-- 
cgit v1.2.3