added lazy

[helm.git] / helm / software / components / ng_tactics / nnAuto.ml

diff --git a/helm/software/components/ng_tactics/nnAuto.ml b/helm/software/components/ng_tactics/nnAuto.ml
index ec92ff1353e7b48816c005c50d6b2f64eadad73d..d719b8a96fb4b57636a5d278f9918cb6622272c1 100644 (file)
--- 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
 ;;