aboutsummaryrefslogtreecommitdiff
path: root/lib/grep.ml
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--lib/grep.ml4
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/grep.ml b/lib/grep.ml
index 7b19a36..5989bc4 100644
--- a/lib/grep.ml
+++ b/lib/grep.ml
@@ -99,7 +99,7 @@ let pretty_format_todo ?(hide_file_name = false) parsed_headlines =
List.map
(fun (file_name, content) ->
if not hide_file_name
- then String.concat " | " [ pad file_name padding; content ]
+ then String.concat " " [ pad file_name padding; content ]
else content)
parsed_headlines
@@ -243,7 +243,7 @@ let pretty_format ?(hide_file_name = false) parsed_headlines =
Array.map
(fun (file_name, content) ->
if not hide_file_name
- then String.concat " | " [ pad file_name padding; content ]
+ then String.concat " " [ pad file_name padding; content ]
else content)
parsed_headlines