From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 31 May 2005 08:20:54 +0000 (+0000)
Subject: fix
X-Git-Tag: PRE_INDEX_1~100
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c677064eeb73cd930a5651b884f79bbe6fc5694a;p=helm.git

fix
---

diff --git a/helm/ocaml/tactics/tactics.mli b/helm/ocaml/tactics/tactics.mli
index 6bf03b675..b69e43e88 100644
--- a/helm/ocaml/tactics/tactics.mli
+++ b/helm/ocaml/tactics/tactics.mli
@@ -36,6 +36,7 @@ val generalize :
 val set_goal : int -> ProofEngineTypes.tactic
 val injection : term:Cic.term -> ProofEngineTypes.tactic
 val intros :
+  ?howmany:int ->
   ?mk_fresh_name_callback:ProofEngineTypes.mk_fresh_name_type ->
   unit -> ProofEngineTypes.tactic
 val left : ProofEngineTypes.tactic