X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=components%2Ftactics%2Fcompose.mli;h=44db74b76aa2fe3ecb134d1be46e6d9311f57fb2;hb=42f2dc48b4fef5b404f406bf512d6a0cde35c067;hp=37e69d42f3f37dfd9c78fd7d5b318b42f1fa9bb7;hpb=936f80cf031a7b034dd70fef49abb90e69f2e680;p=helm.git

diff --git a/components/tactics/compose.mli b/components/tactics/compose.mli
index 37e69d42f..44db74b76 100644
--- a/components/tactics/compose.mli
+++ b/components/tactics/compose.mli
@@ -26,4 +26,5 @@
 val compose_tac: 
   ?howmany:int -> 
   ?mk_fresh_name_callback:ProofEngineTypes.mk_fresh_name_type ->
-  Cic.term -> Cic.term -> ProofEngineTypes.tactic
+  int (* times *) ->
+  Cic.term -> Cic.term option -> ProofEngineTypes.tactic