Add a space after casts.

kaitoy · Sep 25, 2016 · f36b3e2 · f36b3e2
1 parent b466d21
commit f36b3e2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tool/named_numbers.pl b/tool/named_numbers.pl
@@ -23,7 +23,7 @@
   exit 1;
 }
 
-$cast = $cast ? "($cast)" : $cast;
+$cast = $cast ? "($cast) " : $cast;
 
 while (my $line = <>) {
   chomp $line;