From e24ad5eaaec62718ce3ae34ab7ab436ba05ba940 Mon Sep 17 00:00:00 2001
From: Jeremie Dimino <jeremie@dimino.org>
Date: Tue, 26 Jul 2011 20:55:37 +0200
Subject: [PATCH] fix the default prompt

Ignore-this: d4bbdf101e04d21a1c69ce63856de1f

darcs-hash:20110726185537-c41ad-2fd1346e3baffb7f13da7d834c7f5ab21af8a5c9
---
 src/uTop.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/uTop.ml b/src/uTop.ml
index 2dc1acb..fd36dd6 100644
--- a/src/uTop.ml
+++ b/src/uTop.ml
@@ -33,7 +33,7 @@ let make_prompt count size =
     if Array.length txt > size.cols then
       Array.sub txt 0 size.cols
     else
-      Array.append txt (Array.make (size.cols - Array.length txt) (UChar.of_int 0x2500, { none with foreground = Some lcyan }))
+      Array.append txt (Array.make (size.cols - Array.length txt) (UChar.of_int 0x2500, { none with foreground = Some lcyan; bold = Some true }))
   ) [|(UChar.of_char '#', { none with foreground = Some lgreen }); (UChar.of_char ' ', none)|]
 
 let prompt = ref (S.l2 make_prompt count size)