diff options
Diffstat (limited to 'pptok.pl')
-rwxr-xr-x | pptok.pl | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -164,7 +164,7 @@ if ($what eq 'c') { } my @hashinfo = gen_perfect_hash(\%tokens); - if (!defined(@hashinfo)) { + if (!@hashinfo) { die "$0: no hash found\n"; } |