From e7beebadbb7c0527fe3bfd4b977e447126d24468 Mon Sep 17 00:00:00 2001
From: ·𐑑𐑴𐑕𐑑𐑩𐑤
Date: Thu, 11 Dec 2025 20:30:44 +0000
Subject: drop unused pp

---
 lib/input.ml | 2 --
 1 file changed, 2 deletions(-)

(limited to 'lib/input.ml')

diff --git a/lib/input.ml b/lib/input.ml
index 957e7fd..8ccf54f 100644
--- a/lib/input.ml
+++ b/lib/input.ml
@@ -115,8 +115,6 @@ module Darcs = struct
 		latest_weak_hash: UTF8.t option;
 	}
 	[@@deriving show, eq, make, qcheck]
-
-	let pp fmt t = Fmt.pf fmt "%s" (show t)
 end
 
 module Pijul = struct
-- 
cgit v1.2.3