File tree Expand file tree Collapse file tree 1 file changed +9
-10
lines changed
jbmc/unit/java-testing-utils Expand file tree Collapse file tree 1 file changed +9
-10
lines changed Original file line number Diff line number Diff line change @@ -521,15 +521,14 @@ require_type::require_lambda_method_handles(
521521 class_type.lambda_method_handles ();
522522 REQUIRE (lambda_method_handles.size () == expected_identifiers.size ());
523523
524- REQUIRE (
525- std::equal (
526- lambda_method_handles.begin (),
527- lambda_method_handles.end (),
528- expected_identifiers.begin (),
529- [](
530- const irept &lambda_method_handle,
531- const std::string &expected_identifier) { // NOLINT
532- return lambda_method_handle.id () == expected_identifier;
533- }));
524+ REQUIRE (std::equal (
525+ lambda_method_handles.begin (),
526+ lambda_method_handles.end (),
527+ expected_identifiers.begin (),
528+ [](
529+ const irept &lambda_method_handle,
530+ const std::string &expected_identifier) { // NOLINT
531+ return lambda_method_handle.id () == expected_identifier;
532+ }));
534533 return lambda_method_handles;
535534}
You can’t perform that action at this time.
0 commit comments