From 403bebbc8daeec3b04998ccdb5b243255705e445 Mon Sep 17 00:00:00 2001
From: ·𐑑𐑴𐑕𐑑𐑩𐑤
Date: Tue, 30 Dec 2025 14:58:23 +0000
Subject: prefetch: paths

---
 lib/error.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'lib/error.ml')

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
-- 
cgit v1.2.3