From 909cdbb5ddf942e75558149c9f11819c6c84bc3a 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. --- components/tactics/auto.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/components/tactics/auto.ml b/components/tactics/auto.ml index 59e90e6da..aca89bd4a 100644 --- a/components/tactics/auto.ml +++ b/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