X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_tactics%2FnnAuto.mli;h=7d59d395d6e8cd2565725bf61a6c17f22dd33467;hb=6c3b2a89bd14bb8a96e56565b725dd635effc2e5;hp=e1312d05c1775c72e3351a0644c749fc9c55bf3d;hpb=7b85558bb57881e7a7a6a9e52f22be7e0bc97908;p=helm.git

diff --git a/helm/software/components/ng_tactics/nnAuto.mli b/helm/software/components/ng_tactics/nnAuto.mli
index e1312d05c..7d59d395d 100644
--- a/helm/software/components/ng_tactics/nnAuto.mli
+++ b/helm/software/components/ng_tactics/nnAuto.mli
@@ -27,4 +27,3 @@ val auto_tac:
   params:(NTacStatus.tactic_term list * (string * string) list) -> 
    's NTacStatus.tactic
 
-val debug : bool ref