diff options
Diffstat (limited to '')
| -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 5989bc4..b5bdbea 100644 --- a/lib/grep.ml +++ b/lib/grep.ml @@ -94,7 +94,7 @@ let parse_todo_string s = | _ -> raise (Not_A_Tuple (String.concat " SPLIT " split, message)))) -let pretty_format_todo ?(hide_file_name = false) parsed_headlines = +let pretty_format_todo ~hide_file_name parsed_headlines = let padding = get_padding_list parsed_headlines in List.map (fun (file_name, content) -> @@ -238,7 +238,7 @@ let parse_headlines s = (** Turns "2024-03-05.org:* Hello world" into "2024-03-05 | * Hello world" *) -let pretty_format ?(hide_file_name = false) parsed_headlines = +let pretty_format ~hide_file_name parsed_headlines = let padding = get_padding_arr parsed_headlines in Array.map (fun (file_name, content) -> |