diff --git a/src/pp.mli b/src/pp.mli index c75b6e7..2d4b43e 100644 --- a/src/pp.mli +++ b/src/pp.mli @@ -55,7 +55,7 @@ val space : 'tag t this point. If the algorithm decides not to break the line, nothing is printed instead. - So for instance [verbatim "x" ++ space ++ verbatim "y"] might produce "xy" + So for instance [verbatim "x" ++ cut ++ verbatim "y"] might produce "xy" or "x\ny". *) val cut : 'tag t