From 705e24690f6ca2b5b54a6cc2ec26da05d5d3d9ea Mon Sep 17 00:00:00 2001
From: Erik Krogh Kristensen <erik-krogh@github.com>
Date: Wed, 13 Oct 2021 13:26:37 +0200
Subject: [PATCH] cache getClassPredicate

---
 ql/src/codeql_ql/ast/internal/Type.qll | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ql/src/codeql_ql/ast/internal/Type.qll b/ql/src/codeql_ql/ast/internal/Type.qll
index 34327b9486e..32e1000f426 100644
--- a/ql/src/codeql_ql/ast/internal/Type.qll
+++ b/ql/src/codeql_ql/ast/internal/Type.qll
@@ -76,7 +76,7 @@ class Type extends TType {
     p2 = classPredCandidate(this, name, arity)
   }
 
-  pragma[nomagic]
+  cached
   PredicateOrBuiltin getClassPredicate(string name, int arity) {
     result = classPredCandidate(this, name, arity) and
     not getClassPredicate1(name, arity, _, result)