X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_tactics%2FnnAuto.mli;h=d77d32085813510d178e5848b8ff9c99bf001996;hb=489639a3c319d0349a9c864fd0eeaf659daa3d3f;hp=b0d7243796a06c4582b91415fb0a8b3e9babffa5;hpb=dd627e471392375ca7b6dad78a931a8682e06dbe;p=helm.git

diff --git a/matita/components/ng_tactics/nnAuto.mli b/matita/components/ng_tactics/nnAuto.mli
index b0d724379..d77d32085 100644
--- a/matita/components/ng_tactics/nnAuto.mli
+++ b/matita/components/ng_tactics/nnAuto.mli
@@ -28,7 +28,7 @@ val auto_tac:
    ?trace_ref:NotationPt.term list ref -> 
    's NTacStatus.tactic
 
-val auto_lowtac: params:auto_params -> NTacStatus.lowtac_status -> int -> NTacStatus.lowtac_status
+val auto_lowtac: params:auto_params -> #NTacStatus.pstatus -> int -> 's NTacStatus.tactic
 
 val keys_of_type: 
   (#NTacStatus.pstatus as 'a) ->