X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_tactics%2FnnAuto.mli;h=e1312d05c1775c72e3351a0644c749fc9c55bf3d;hb=ced2abc1e3fe84d5bbfa9ccb2ebf46f253279ebe;hp=e08d0456d2468988c5c23665be1d51ee0f8bbecc;hpb=21ee96d317a4f0e7abfe76f697defe78acc10b94;p=helm.git

diff --git a/helm/software/components/ng_tactics/nnAuto.mli b/helm/software/components/ng_tactics/nnAuto.mli
index e08d0456d..e1312d05c 100644
--- a/helm/software/components/ng_tactics/nnAuto.mli
+++ b/helm/software/components/ng_tactics/nnAuto.mli
@@ -16,6 +16,10 @@ val fast_eq_check_tac:
   params:(NTacStatus.tactic_term list * (string * string) list) -> 
    's NTacStatus.tactic
 
+val paramod_tac:
+  params:(NTacStatus.tactic_term list * (string * string) list) -> 
+   's NTacStatus.tactic
+
 val smart_apply_tac: 
   NTacStatus.tactic_term -> 's NTacStatus.tactic