Răsfoiți Sursa

Reduced verbose level for fancy errors to 1

Taddeus Kroes 12 ani în urmă
părinte
comite
5ef0f0dfa9
1 a modificat fișierele cu 1 adăugiri și 1 ștergeri
  1. 1 1
      util.ml

+ 1 - 1
util.ml

@@ -353,7 +353,7 @@ let prerr_loc_msg loc msg =
         );
         eprintf "%s\n" msg;
 
-        if args.verbose >= 2 && loc != noloc then prerr_loc loc
+        if args.verbose >= 1 && loc != noloc then prerr_loc loc
     );
     ()