From 64faa1f3d260de001bee08a1e95f999f5f4e6166 Mon Sep 17 00:00:00 2001 From: ยท๐‘‘๐‘ด๐‘•๐‘‘๐‘ฉ๐‘ค Date: Tue, 30 Dec 2025 14:58:51 +0000 Subject: errors: fix casing --- lib/error.ml | 2 +- lib/input_foreman.ml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/lib/error.ml b/lib/error.ml index 1fd2aa6..da9a271 100644 --- a/lib/error.ml +++ b/lib/error.ml @@ -33,7 +33,7 @@ type prefetch_error = [ | `Bad_output of prefetch_method * string | `JSON_parsing of prefetch_method * string | `Darcs_context of string - | `RunException of prefetch_method * exn * string + | `Run_exception of prefetch_method * exn * string ] [@@deriving show] diff --git a/lib/input_foreman.ml b/lib/input_foreman.ml index 9c83684..6845529 100644 --- a/lib/input_foreman.ml +++ b/lib/input_foreman.ml @@ -248,7 +248,7 @@ let prefetch ~env ~proc_mgr ~name () : (unit, error) result = Ok () with | exn -> - Error (`RunException (method', exn, String.trim (Buffer.contents stdout_buf))) + Error (`Run_exception (method', exn, String.trim (Buffer.contents stdout_buf))) in Ok (String.trim (Buffer.contents stdout_buf)) in -- cgit v1.2.3