1 files changed, 1 insertions, 1 deletions
diff --git a/tools/mpfrlint b/tools/mpfrlint
index 3fc67c911..e2593f781 100755
--- a/tools/mpfrlint
+++ b/tools/mpfrlint
@@ -67,7 +67,7 @@ do
   perl -e 'my $f = do { local $/; <> };
            while ($f =~ /MPFR_LOG_MSG\s*\(\s*\(.*?\)\s*\)/gs) {
              my $s = $&; print "$ARGV: $s\n" if
-               index($s,"\\n\"") < 0 || $s =~ /"\s*\)\s*\)/
+               index($s,"\\n\"") < 0 || $s !~ /"\s*,/
            }' $file
 done