Parcourir la source

Underline debugging messages

Leo il y a 10 ans
Parent
commit
00eeda2ab3
1 fichiers modifiés avec 1 ajouts et 1 suppressions
  1. 1 1
      src/messages.ml

+ 1 - 1
src/messages.ml

@@ -82,7 +82,7 @@ let print ~color ~style message =
 (* Print debugging, information, important... messages *)
 let debug message =
     let mess = (Time.now()|> Time.to_string) ^ " " ^ message ^ "\n" in
-    print ~color:Plum ~style:Bold mess
+    print ~color:Plum ~style:Underline mess
 ;;
 
 let info message =