Skip to content

Commit bee1b9c

Browse files
committed
Add NOLINT to long line in help
1 parent a32ad65 commit bee1b9c

File tree

1 file changed

+1
-3
lines changed

1 file changed

+1
-3
lines changed

src/goto-instrument/goto_instrument_parse_options.cpp

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1908,9 +1908,7 @@ void goto_instrument_parse_optionst::help()
19081908
" --check-call-sequence <seq> instruments checks to assert that all call\n"
19091909
" sequences match <seq>\n"
19101910
" --undefined-function-is-assume-false\n"
1911-
// NOLINTNEXTLINE(whitespace/line_length)
1912-
" convert each call to an undefined function"
1913-
" to assume(false)\n"
1911+
" convert each call to an undefined function to assume(false)\n" // NOLINT(*)
19141912
HELP_INSERT_FINAL_ASSERT_FALSE
19151913
HELP_REPLACE_FUNCTION_BODY
19161914
HELP_RESTRICT_FUNCTION_POINTER

0 commit comments

Comments
 (0)