hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-02-08 11:11:06 +01:00
Code Issues Packages Projects Releases Wiki Activity

Make all calls formulas

Browse Source
This commit is contained in:
Taus
2021-05-27 12:57:39 +00:00
committed by GitHub
parent 20e72d3304
commit 59c4e170a8
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
ql/src/codeql_ql/ast/internal/AstNodes.qll
View File

@@ -50,7 +50,7 @@ newtype TAstNode =
class TFormula =
TDisjunction or TConjunction or TComparisonFormula or TQuantifier or TNegation or TIfFormula or
TImplication or TInstanceOf or TNoneCall or TAnyCall;
TImplication or TInstanceOf or TCall;
class TBinOpExpr = TAddExpr;