diff options
| author | Marc Coquand <marc@mccd.space> | 2024-06-10 09:42:41 -0500 |
|---|---|---|
| committer | Marc Coquand <marc@mccd.space> | 2024-06-10 09:42:41 -0500 |
| commit | 54ca685422a37b3ebf4e24596d094a708834f221 (patch) | |
| tree | bc7a6253c4cc03111d3e74ab5c6824d3bb14952d /lib/grep.ml | |
| parent | 80c5317f3c7fdba007297582c54e366b4781e706 (diff) | |
| download | stitch-54ca685422a37b3ebf4e24596d094a708834f221.tar.gz stitch-54ca685422a37b3ebf4e24596d094a708834f221.tar.bz2 stitch-54ca685422a37b3ebf4e24596d094a708834f221.zip | |
Change formatting: Remove bar
Diffstat (limited to 'lib/grep.ml')
| -rw-r--r-- | lib/grep.ml | 4 |
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 |