aboutsummaryrefslogtreecommitdiff
path: root/lib/grep.ml
diff options
context:
space:
mode:
Diffstat (limited to 'lib/grep.ml')
-rw-r--r--lib/grep.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/grep.ml b/lib/grep.ml
index 94b4b48..30df423 100644
--- a/lib/grep.ml
+++ b/lib/grep.ml
@@ -309,6 +309,6 @@ let pretty_print_parsed_content parsed_files =
(fun (file_name, line_number, line_content, file_number) ->
if line_number == 0
then
- [ file_number, Bold ("--------- " ^ file_name); file_number, Normal line_content ]
+ [ file_number, Normal ("--------- " ^ file_name); file_number, Bold line_content ]
else [ file_number, Normal (padding ^ line_content) ])
parsed_files