From: Markus Triska <triska@metalevel.at>
Date: Fri, 5 Mar 2021 17:36:00 +0000 (+0100)
Subject: is is --> is
X-Git-Tag: v0.9.0~134^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=842176a595c4fa151f5fe9ec41826dbae52c0390;p=scryer-prolog.git

is is --> is
---

diff --git a/src/lib/format.pl b/src/lib/format.pl
index 823c700c..d873f2cc 100644
--- a/src/lib/format.pl
+++ b/src/lib/format.pl
@@ -153,7 +153,7 @@ element_gluevar(glue(_,V), N, N) --> [V].
    available space is distributed.
 
    newline is used if ~n occurs in a format string.
-   It is is used because a newline character does not
+   It is used because a newline character does not
    consume whitespace in the sense of format strings.
 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */