From c677064eeb73cd930a5651b884f79bbe6fc5694a Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 31 May 2005 08:20:54 +0000
Subject: [PATCH] fix

---
 helm/ocaml/tactics/tactics.mli | 1 +
 1 file changed, 1 insertion(+)

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
-- 
2.39.2