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