X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_tactics%2FnnAuto.mli;h=87b2e8e4b86e372029749be7c3622cf65959ef8f;hb=58ede527a29e92f47321820421a3d8d0735daad8;hp=2376a773ad3ad7db387e74e98bbe6d8b19ce80c1;hpb=2c01ff6094173915e7023076ea48b5804dca7778;p=helm.git

diff --git a/matita/components/ng_tactics/nnAuto.mli b/matita/components/ng_tactics/nnAuto.mli
index 2376a773a..87b2e8e4b 100644
--- a/matita/components/ng_tactics/nnAuto.mli
+++ b/matita/components/ng_tactics/nnAuto.mli
@@ -29,7 +29,7 @@ val smart_apply_tac:
 
 val auto_tac:
   params:(NTacStatus.tactic_term list option * (string * string) list) -> 
-   ?trace_ref:CicNotationPt.term list ref -> 
+   ?trace_ref:NotationPt.term list ref -> 
    's NTacStatus.tactic
 
 val keys_of_type: