Remove unnecessary no-lint comment

peterschrammel · peterschrammel · commit ee7f2c9443b6 · 2019-04-29T18:30:22.000+01:00
diff --git a/src/cbmc/cbmc_parse_options.cpp b/src/cbmc/cbmc_parse_options.cpp
@@ -1020,7 +1020,6 @@ void cbmc_parse_optionst::help()
     " --version                    show version and exit\n"
     HELP_XML_INTERFACE
     HELP_JSON_INTERFACE
-    // NOLINTNEXTLINE(whitespace/line_length)
     HELP_VALIDATE
     HELP_GOTO_TRACE
     HELP_FLUSH
