diff options
Diffstat (limited to 'scripts/check-near-bragg')
| -rwxr-xr-x | scripts/check-near-bragg | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/scripts/check-near-bragg b/scripts/check-near-bragg index 17141fc4..5ebae9b1 100755 --- a/scripts/check-near-bragg +++ b/scripts/check-near-bragg @@ -47,8 +47,4 @@ while ( $line = <FH> ) { } - if ( !$handled ) { - printf(STDERR "Unhandled: '%s'\n", $line); - } - } |