Java: Fix training example

This commit is contained in:
Aditya Sharad
2020-06-22 12:21:15 -07:00
committed by GitHub
parent 3520f2c737
commit 95f8ba433e

View File

@@ -3,10 +3,10 @@ import java
class EmptyBlock extends Block {
EmptyBlock() {
this.getNumStmt() = 0
}
}
from IfStmt ifstmt
where ifstmt.getThen() instanceof
EmptyBlock
select ifstmt
select ifstmt