From d444bc2cb08ca25e8028ff7335092e31963365a1 Mon Sep 17 00:00:00 2001
From: ·𐑑𐑴𐑕𐑑𐑩𐑤
Date: Thu, 1 Jan 2026 02:43:42 +0000
Subject: lock loader: builtins.throw isn’t clearer than throw

---
 lib/lock_loader.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib')

diff --git a/lib/lock_loader.ml b/lib/lock_loader.ml
index eec3f7c..47e804b 100644
--- a/lib/lock_loader.ml
+++ b/lib/lock_loader.ml
@@ -120,7 +120,7 @@ let pp_body ~version (ppf : Format.formatter) () =
 	pf ppf {|					let failed-urls' = [ url ] ++ failed-urls; in@.|};
 	pf ppf {|					if builtins.length urls <= 0 then@.|};
 	pf ppf {|						let fus = builtins.concatStringsSep " " failed-urls'; in@.|};
-	pf ppf {|						builtins.throw "Input 「${name}」fetchable @@ [ ${fus} ]"@.|};
+	pf ppf {|						throw "Input 「${name}」fetchable @@ [ ${fus} ]"@.|};
 	pf ppf {|					else@.|};
 	pf ppf {|						try-fetch' failed-urls' (builtins.head urls) (builtins.tail urls);@.|};
 	pf ppf {|		in@.|};
-- 
cgit v1.2.3