From 36fae35c9cbbf8df389a3f34cd1ee6921b6029fd Mon Sep 17 00:00:00 2001 From: Andrea Asperti Date: Fri, 12 Mar 2010 07:39:13 +0000 Subject: [PATCH] removed debug from the inteface --- helm/software/components/ng_tactics/nnAuto.mli | 1 - 1 file changed, 1 deletion(-) 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 -- 2.39.2