From a5521b90fceecad9e7b38e4af48955b3e45b89c9 Mon Sep 17 00:00:00 2001 From: Napalys Klicius Date: Fri, 29 Nov 2024 15:13:46 +0100 Subject: [PATCH] Update ql/ql/src/queries/style/ValidatePredicateGetReturns.ql Co-authored-by: Anders Schack-Mulligen --- ql/ql/src/queries/style/ValidatePredicateGetReturns.ql | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/ql/ql/src/queries/style/ValidatePredicateGetReturns.ql b/ql/ql/src/queries/style/ValidatePredicateGetReturns.ql index d6982c75710..297d141754e 100644 --- a/ql/ql/src/queries/style/ValidatePredicateGetReturns.ql +++ b/ql/ql/src/queries/style/ValidatePredicateGetReturns.ql @@ -26,9 +26,7 @@ predicate hasReturnType(Predicate pred) { exists(pred.getReturnType()) } /** * Checks if a predicate is an alias using getAlias(). */ -predicate isAlias(Predicate pred) { - pred instanceof ClasslessPredicate and exists(pred.(ClasslessPredicate).getAlias()) -} +predicate isAlias(Predicate pred) { exists(pred.(ClasslessPredicate).getAlias()) } from Predicate pred where