X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_tactics%2FnDestructTac.mli;h=714638d24f56dcba221c3767f4e88474a289d9fa;hb=d8bc6fd4ab18f2995624c75e2889318237e9c17f;hp=a51886511e3d19da77437745c2ffda2d838900f7;hpb=2b98af47f4359ca20b42e52285c7ff4a3bd12f02;p=helm.git

diff --git a/helm/software/components/ng_tactics/nDestructTac.mli b/helm/software/components/ng_tactics/nDestructTac.mli
index a51886511..714638d24 100644
--- a/helm/software/components/ng_tactics/nDestructTac.mli
+++ b/helm/software/components/ng_tactics/nDestructTac.mli
@@ -11,4 +11,5 @@
 
 (* $Id: nCic.ml 9058 2008-10-13 17:42:30Z tassi $ *)
 
-val destruct_tac : 's NTacStatus.tactic
+val destruct_tac : string list option -> string list -> 's NTacStatus.tactic
+