diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/error.ml | 2 | ||||
| -rw-r--r-- | 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 |