From 14af99a0b08837fff78e6e4e161d81e8dd936def Mon Sep 17 00:00:00 2001
From: sacerdot
Date: Fri, 10 Sep 2004 14:11:18 +0000
Subject: add_new_morphism has now a new argument that is the signature

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

diff --git a/tactics/setoid_replace.mli b/tactics/setoid_replace.mli
index e41728ead5..afeb304d3f 100644
--- a/tactics/setoid_replace.mli
+++ b/tactics/setoid_replace.mli
@@ -32,4 +32,6 @@ val add_relation :
 
 val add_setoid : constr_expr -> constr_expr -> constr_expr -> unit
 
-val new_named_morphism : Names.identifier -> constr_expr -> unit
+val new_named_morphism :
+ Names.identifier -> constr_expr -> (constr_expr list * constr_expr) option ->
+  unit
-- 
cgit v1.2.3