From 1cbcf4063755fe6bb3224a3f6bb4ab9652899dc9 Mon Sep 17 00:00:00 2001 From: Taus Date: Mon, 31 May 2021 10:26:50 +0200 Subject: [PATCH] Simplify `getAMember` Co-authored-by: Erik Krogh Kristensen --- ql/src/codeql_ql/ast/Ast.qll | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ql/src/codeql_ql/ast/Ast.qll b/ql/src/codeql_ql/ast/Ast.qll index af03bc1ba56..d7cb876f5ea 100644 --- a/ql/src/codeql_ql/ast/Ast.qll +++ b/ql/src/codeql_ql/ast/Ast.qll @@ -80,7 +80,7 @@ class TopLevel extends TTopLevel, AstNode { * Gets a member from contained in this top-level module. * Includes private members. */ - ModuleMember getAMember() { toGenerated(result) = file.getChild(_).getChild(_) } + ModuleMember getAMember() { result = getMember(_) } ModuleMember getMember(int i) { toGenerated(result) = file.getChild(i).getChild(_) }