]> matita.cs.unibo.it Git - helm.git/commitdiff
removed debug from the inteface
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 12 Mar 2010 07:39:13 +0000 (07:39 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 12 Mar 2010 07:39:13 +0000 (07:39 +0000)
helm/software/components/ng_tactics/nnAuto.mli

index e1312d05c1775c72e3351a0644c749fc9c55bf3d..7d59d395d6e8cd2565725bf61a6c17f22dd33467 100644 (file)
@@ -27,4 +27,3 @@ val auto_tac:
   params:(NTacStatus.tactic_term list * (string * string) list) -> 
    's NTacStatus.tactic
 
-val debug : bool ref