Merge pull request #2066 from jwillemsen/jwi-nullptrfuzz

Mention that nullptr should be used

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");
                     }
                 }
             }