diff options
-rwxr-xr-x | tools/profile_reader/profile_reader.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/profile_reader/profile_reader.pl b/tools/profile_reader/profile_reader.pl index 088ba7186e..8691dda13a 100755 --- a/tools/profile_reader/profile_reader.pl +++ b/tools/profile_reader/profile_reader.pl @@ -84,7 +84,7 @@ sub get_name { return $offsets{$location}; } else { my $retval = $_[0]; - $retval =~ y/[A-Z]/a-z/; + $retval =~ y/[A-Z]/[a-z]/; warning("No symbol found for $retval"); return $retval; } |