From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Fri, 19 Feb 2010 07:38:54 +0000 (+0000)
Subject: added lazy
X-Git-Tag: make_still_working~3035
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=44080f418c87583c71c816f4c34a2bffea90bab5;p=helm.git

added lazy
---

diff --git a/helm/software/components/ng_tactics/nnAuto.ml b/helm/software/components/ng_tactics/nnAuto.ml
index ec92ff135..d719b8a96 100644
--- a/helm/software/components/ng_tactics/nnAuto.ml
+++ b/helm/software/components/ng_tactics/nnAuto.ml
@@ -1477,7 +1477,7 @@ let height_of_goals status =
             ) 
         context)
      open_goals;
-  debug_print ("altezza sequente: " ^ string_of_int !h);
+  debug_print (lazy ("altezza sequente: " ^ string_of_int !h));
   !h
 ;;