diff options
| -rwxr-xr-x | ACE/bin/fuzz.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ACE/bin/fuzz.pl b/ACE/bin/fuzz.pl index f75c1b6d325..e6b857054b4 100755 --- a/ACE/bin/fuzz.pl +++ b/ACE/bin/fuzz.pl @@ -906,7 +906,7 @@ sub check_for_NULL () } if ($disable == 0) { if(/(\(|\)|\s+|=)NULL(\)|\s+|\;|\,)/ and $` !~ /\/\// and $` !~ /\/\*/ and $` !~ /\*\*+/ and $` !~ /\s+\*+\s+/) { - print_error ("$file:$.: NULL found"); + print_error ("$file:$.: NULL found, use nullptr"); } } } |