...

diff --git a/helm/software/components/ng_tactics/nTactics.mli b/helm/software/components/ng_tactics/nTactics.mli
index 142300cc0bb91d30d74ef1381adb53fe0678f02f..7d8c15068bf67c7985ed37846356edbeceaa77ed 100644 (file)
--- 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