From 81274b8854c941071afc53719861676bcff7a73f Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Fri, 9 Feb 2007 15:07:13 +0000 Subject: [PATCH] Debugging code fixed. To enable debugging just set debug to true at the top of the file. --- helm/software/components/tactics/auto.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/software/components/tactics/auto.ml b/helm/software/components/tactics/auto.ml index 59e90e6da..aca89bd4a 100644 --- a/helm/software/components/tactics/auto.ml +++ b/helm/software/components/tactics/auto.ml @@ -28,7 +28,7 @@ open AutoCache;; let debug = false;; let debug_print s = - if debug then () else prerr_endline (Lazy.force s);; + if debug then prerr_endline (Lazy.force s);; (* functions for retrieving theorems *) -- 2.39.2