X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_tactics%2FnTactics.mli;h=7d8c15068bf67c7985ed37846356edbeceaa77ed;hb=62a12215bbf8686fab44e8db25babd3095983c8f;hp=142300cc0bb91d30d74ef1381adb53fe0678f02f;hpb=b97a7976503b2d2e5cbc9199f848135a324775a8;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