Java: refine type of parent column in exprs relation

This commit is contained in:
yh-semmle
2019-10-09 18:54:39 -04:00
parent ff5a98b260
commit 64db00ae6d

View File

@@ -501,7 +501,7 @@ exprs(
unique int id: @expr,
int kind: int ref,
int typeid: @type ref,
int parent: @element ref,
int parent: @exprparent ref,
int idx: int ref
);