is is --> is

diff --git a/src/lib/format.pl b/src/lib/format.pl
index 823c700ca74138ce4f06cb8cc9cd58e846df3f7c..d873f2cc3856ed1b5030e9638334cb5ab883c043 100644 (file)
--- 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.
 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */