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 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) ->