From: Enrico Tassi Date: Tue, 9 Jun 2009 13:16:05 +0000 (+0000) Subject: ... X-Git-Tag: make_still_working~3900 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=635b26d680f72e1ff98d509e7331971e085f9667;p=helm.git ... --- diff --git a/helm/software/components/ng_tactics/nTactics.mli b/helm/software/components/ng_tactics/nTactics.mli index 142300cc0..7d8c15068 100644 --- a/helm/software/components/ng_tactics/nTactics.mli +++ b/helm/software/components/ng_tactics/nTactics.mli @@ -53,4 +53,5 @@ val assert_tac: NTacStatus.tactic val auto_tac: - params:'a -> NTacStatus.tactic + params:(NTacStatus.tactic_term list * (string * string) list) -> + NTacStatus.tactic