From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Fri, 12 Mar 2010 07:39:13 +0000 (+0000)
Subject: removed debug from the inteface
X-Git-Tag: make_still_working~3013
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=36fae35c9cbbf8df389a3f34cd1ee6921b6029fd;p=helm.git

removed debug from the inteface
---

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