Adjust formatting a bit

coq · Jul 16, 2024 · 4fda331 · 4fda331
1 parent 810da7c
commit 4fda331
Showing 1 changed file with 6 additions and 11 deletions.
diff --git a/src/helpers.ml b/src/helpers.ml
@@ -154,18 +154,13 @@ let download_cps ~uri ~with_file =
  | Some new_uri ->
  inner_download new_uri
  | None ->
- let msg =
- Printf.sprintf "Redirected from %s, but no Location header found"
- (Uri.to_string uri)
- in
- Lwt.return_error msg )
- | status_code ->
- let msg =
- Printf.sprintf "HTTP request to %s failed with status code: %s"
+ f "Redirected from %s, but no Location header found"
  (Uri.to_string uri)
- (Code.string_of_status status_code)
- in
- Lwt.return_error msg
+ |> Lwt.return_error )
+ | status_code ->
+ f "HTTP request to %s failed with status code: %s" (Uri.to_string uri)
+ (Code.string_of_status status_code)
+ |> Lwt.return_error
  in
  inner_download uri