update py/unreachable-statement to match javascript/go

This commit is contained in:
erik-krogh
2022-08-11 22:40:28 +02:00
parent 31e15e27fc
commit ca299b9dc1

View File

@@ -61,4 +61,4 @@ predicate reportable_unreachable(Stmt s) {
from Stmt s
where reportable_unreachable(s)
select s, "Unreachable statement."
select s, "This statement is unreachable."