diff -r fffe3a16a3de -r e7dfcf229625 docs/src/modules.md --- a/docs/src/modules.md Sat May 12 14:50:09 2018 +0200 +++ b/docs/src/modules.md Sat May 12 14:56:17 2018 +0200 @@ -293,12 +293,12 @@ char *arg = argv[i]; size_t len = strlen(arg); if(len > 1 && arg[0] == '-') { - if(option) { - fprintf(stderr, - "Missing argument for option -%c\n", optchar); - return 1; - } for(int c=1;c