diff options
Diffstat (limited to 'lib/error.ml')
| -rw-r--r-- | lib/error.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/error.ml b/lib/error.ml index d98c1ee..1fd2aa6 100644 --- a/lib/error.ml +++ b/lib/error.ml @@ -30,6 +30,7 @@ type prefetch_method = [ type prefetch_error = [ | `Empty_output of prefetch_method + | `Bad_output of prefetch_method * string | `JSON_parsing of prefetch_method * string | `Darcs_context of string | `RunException of prefetch_method * exn * string |