Many changes

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

diff --git a/matita/components/ng_tactics/nTactics.mli b/matita/components/ng_tactics/nTactics.mli
index c492b8c644c1279d2da38b78acd58ffecb4eb338..fd5916c8dbf69f1add0deb3cf9beaa53bd8245e5 100644 (file)
--- a/matita/components/ng_tactics/nTactics.mli
+++ b/matita/components/ng_tactics/nTactics.mli
@@ -13,6 +13,7 @@
 
 val print_tac: bool -> string -> 's NTacStatus.tactic
 
+val id_tac: 's NTacStatus.tactic
 val dot_tac: 's NTacStatus.tactic
 val branch_tac: ?force:bool -> 's NTacStatus.tactic
 val shift_tac: 's NTacStatus.tactic