diff --git a/lint/README.md b/lint/README.md index a5ce07c..9f48c1c 100644 --- a/lint/README.md +++ b/lint/README.md @@ -4,5 +4,5 @@ peglint The lint utility for PEG. ``` -usage: peglint [--ast] [--optimize_ast_nodes|--opt] [--server [PORT=1234]] [--trace] [grammar file path] [source file path] +usage: peglint [--ast] [--optimize_ast_nodes|--opt] [--server [PORT]] [--trace] [grammar file path] [source file path] ``` diff --git a/lint/peglint.cc b/lint/peglint.cc index c8f9bb6..f3c25a0 100644 --- a/lint/peglint.cc +++ b/lint/peglint.cc @@ -58,7 +58,7 @@ int main(int argc, const char** argv) } if ((path_list.empty() && !opt_server) || opt_help) { - cerr << "usage: peglint [--ast] [--optimize_ast_nodes|--opt] [--server [PORT=1234]] [--trace] [grammar file path] [source file path]" << endl; + cerr << "usage: peglint [--ast] [--optimize_ast_nodes|--opt] [--server [PORT]] [--trace] [grammar file path] [source file path]" << endl; return 1; }