X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Ftactics%2Fsetoids.mli;h=abe71f4eb0b95326dcf2fa1145fa15c727a5d4e4;hb=2d0ff020fc7100546d4f87560062721cd401ccae;hp=4c5d655cb681c42509c505a66afda47ae5673528;hpb=6449c9266eff9a5a7af7e7c13755abb5a20d61c3;p=helm.git

diff --git a/components/tactics/setoids.mli b/components/tactics/setoids.mli
index 4c5d655cb..abe71f4eb 100644
--- a/components/tactics/setoids.mli
+++ b/components/tactics/setoids.mli
@@ -54,7 +54,7 @@ val general_s_rewrite : bool -> Cic.term -> new_goals:Cic.term list -> ProofEngi
 val general_s_rewrite_in :
  string -> bool -> Cic.term -> new_goals:Cic.term list -> ProofEngineTypes.tactic
 
-val setoid_reflexivity : ProofEngineTypes.tactic
+val setoid_reflexivity_tac : ProofEngineTypes.tactic
 val setoid_symmetry : ProofEngineTypes.tactic
 val setoid_symmetry_in : string -> ProofEngineTypes.tactic
 val setoid_transitivity : Cic.term -> ProofEngineTypes.tactic