binman: Fix stuttering comment

diff --git a/Kernel/tools/binman.c b/Kernel/tools/binman.c
index 224ce1f..a515818 100644 (file)
--- a/Kernel/tools/binman.c
+++ b/Kernel/tools/binman.c
@@ -116,7 +116,7 @@ int main(int argc, char *argv[])
        }
 
        /* linker will allow us to overlap _DISCARD (which may grow)
-          with with _COMMONMEM. */
+          with _COMMONMEM. */
        if(s__DISCARD && s__DISCARD+l__DISCARD > s__COMMONMEM){
                fprintf(stderr, "Move _DISCARD down by at least %d bytes\n",
                        s__DISCARD + l__DISCARD - s__COMMONMEM);