X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_tactics%2FnTactics.mli;h=74bbcbcb4214a3565506a04d1dc81695bf746970;hb=12f96bd48b460d06f9858a334ee7c52d6831712f;hp=efb4e843c99a2e91da86a04144f657c666370c55;hpb=cf89508024f0a19023bb1bac343012d54e860d9d;p=helm.git

diff --git a/helm/software/components/ng_tactics/nTactics.mli b/helm/software/components/ng_tactics/nTactics.mli
index efb4e843c..74bbcbcb4 100644
--- a/helm/software/components/ng_tactics/nTactics.mli
+++ b/helm/software/components/ng_tactics/nTactics.mli
@@ -12,7 +12,7 @@
 (* $Id: nCic.ml 9058 2008-10-13 17:42:30Z tassi $ *)
 
 val dot_tac: 's NTacStatus.tactic
-val branch_tac: 's NTacStatus.tactic
+val branch_tac: ?force:bool -> 's NTacStatus.tactic
 val shift_tac: 's NTacStatus.tactic
 val pos_tac: int list -> 's NTacStatus.tactic
 val case_tac: string -> 's NTacStatus.tactic