X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_tactics%2FnnAuto.ml;h=0cb666e3938fb6e82c066066fcc697b274bedca6;hb=eaa8cd77b9060af69694327d609b18473b075f4d;hp=359b5b0761c12691d91ce5725a84516fefcdd664;hpb=1abd18f614b6691547662cc8608f259233b246c7;p=helm.git

diff --git a/matita/components/ng_tactics/nnAuto.ml b/matita/components/ng_tactics/nnAuto.ml
index 359b5b076..0cb666e39 100644
--- a/matita/components/ng_tactics/nnAuto.ml
+++ b/matita/components/ng_tactics/nnAuto.ml
@@ -1512,7 +1512,7 @@ let rec auto_clusters ?(top=false)
 	(fun gl ->
 	   if List.length gl > flags.maxwidth then begin
 	      debug_print ~depth (lazy "FAIL GLOBAL WIDTH"); 
-	      HLog.error (sprintf "global width (%u) exceeded: %u"
+	      HLog.warn (sprintf "global width (%u) exceeded: %u"
 	         flags.maxwidth (List.length gl));
 	      raise (Gaveup IntSet.empty)
 	   end else ()) classes;
@@ -1599,7 +1599,7 @@ auto_main flags signature cache depth status: unit =
         (* moved inside auto_clusters *)
         if ng > flags.maxwidth then begin 
           debug_print ~depth (lazy "FAIL LOCAL WIDTH");
-	  HLog.error (sprintf "local width (%u) exceeded: %u"
+	  HLog.warn (sprintf "local width (%u) exceeded: %u"
 	     flags.maxwidth ng);
 	  raise (Gaveup IntSet.empty)
         end else if depth = flags.maxdepth then