is is --> is

2021-03-05 18:36:00 +01:00
parent 0fb74b56b3
commit 842176a595
1 changed files with 1 additions and 1 deletions
--- 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.
 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */