@@ -23,6 +23,6 @@ Usage: ([--nobanner] | [-q|--quiet] | [--ide-mode] | [--ide-mode-socket] |
2323 [--O3] | [--O2] | [--O1] | [--O0] | [--partial-eval] |
2424 [--no-partial-eval] | [-O|--level ARG] | [--target TRIPLE] | [--cpu CPU]
2525 | [--color|--colour] | [--nocolor|--nocolour] | [--consolewidth WIDTH] |
26− [--highlight] | [--no-tactic-deprecation-warnings]) [FILES]
27− [-v|--version]
26+ [--highlight] | [--no-tactic-deprecation-warnings] |
27+ [--allow-capitalized-pattern-variables]) [FILES] [-v|--version]
2828)