cicNotation* ==> notation*

[helm.git] / matita / components / ng_tactics / nnAuto.mli

diff --git a/matita/components/ng_tactics/nnAuto.mli b/matita/components/ng_tactics/nnAuto.mli
index 2376a773ad3ad7db387e74e98bbe6d8b19ce80c1..87b2e8e4b86e372029749be7c3622cf65959ef8f 100644 (file)
--- 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: