[patch] Please apply this minor patch: it makes an error message about unterminated BB more detailed

patch-verifier.patch (656 Bytes)

Applied in r105887, thanks!