From 635b26d680f72e1ff98d509e7331971e085f9667 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Tue, 9 Jun 2009 13:16:05 +0000 Subject: [PATCH] ... --- helm/software/components/ng_tactics/nTactics.mli | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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 -- 2.39.2