From 451e5b4463c4fe5b4f5427c0a40a5962c38ccc0f Mon Sep 17 00:00:00 2001
From: Rudi Grinberg <me@rgrinberg.com>
Date: Tue, 1 Oct 2024 11:10:54 +0100
Subject: [PATCH] fix: pp_infinity is unused in the mli on 5.2 (#10971)

Signed-off-by: Rudi Grinberg <me@rgrinberg.com>
---
 otherlibs/stdune/src/format.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/otherlibs/stdune/src/format.mli b/otherlibs/stdune/src/format.mli
index c78f84bd6b4..7ec92caf652 100644
--- a/otherlibs/stdune/src/format.mli
+++ b/otherlibs/stdune/src/format.mli
@@ -1,3 +1,3 @@
-val pp_infinity : int
+val pp_infinity : int [@@warning "-32"]
 
 include module type of Stdlib.Format