From ff43548a7b3a821fa5ed85dc5aa209d31ee73867 Mon Sep 17 00:00:00 2001
From: Ambre Austen Suhamy <ambre@tarides.com>
Date: Thu, 14 Nov 2024 18:31:52 +0100
Subject: [PATCH] Indentation in comment

Signed-off-by: Ambre Austen Suhamy <ambre@tarides.com>
---
 src/pp.mli | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/pp.mli b/src/pp.mli
index 2d4b43e..3066bdd 100644
--- a/src/pp.mli
+++ b/src/pp.mli
@@ -55,8 +55,8 @@ val space : 'tag t
     this point. If the algorithm decides not to break the line, nothing is
     printed instead.
 
-    So for instance [verbatim "x" ++ cut ++ verbatim "y"] might produce "xy"
-    or "x\n<indentation>y". *)
+    So for instance [verbatim "x" ++ cut ++ verbatim "y"] might produce "xy" or
+    "x\n<indentation>y". *)
 val cut : 'tag t
 
 (** [break] is a generalisation of [space] and [cut]. It also instructs the