diff options
Diffstat (limited to 'lib/input_foreman.ml')
| -rw-r--r-- | lib/input_foreman.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |