Parcourir la source

Tips messages are less important than info ones

Leo il y a 9 ans
Parent
commit
6dd9243d79
1 fichiers modifiés avec 2 ajouts et 2 suppressions
  1. 2 2
      src/messages.ml

+ 2 - 2
src/messages.ml

@@ -116,7 +116,7 @@ let info message =
     check_verbosity ~f:(fun () ->
         let mess = message ^ "\n" in
         print ~color:White ~style:Normal mess
-    ) 4
+    ) 3
 ;;
 
 let warning message =
@@ -137,7 +137,7 @@ let tips message =
     check_verbosity ~f:(fun () ->
     let mess = message ^ "\n" in
     print ~color:Yellow ~style:Normal mess
-    ) 3
+    ) 4
 ;;