Fix bad magic.

aschackmull · aschackmull · commit 350620d44a53 · 2021-10-14T13:07:53.000+02:00
diff --git a/ql/src/codeql_ql/ast/internal/Type.qll b/ql/src/codeql_ql/ast/internal/Type.qll
@@ -114,6 +114,7 @@ private PredicateOrBuiltin declaredPred(Type ty, string name, int arity) {
   result.getArity() = arity
 }
 
+pragma[nomagic]
 private PredicateOrBuiltin classPredCandidate(Type ty, string name, int arity) {
   result = declaredPred(ty, name, arity)
   or

Original file line number	Diff line number	Diff line change
`@@ -114,6 +114,7 @@ private PredicateOrBuiltin declaredPred(Type ty, string name, int arity) {`
`114`	`114`	`result.getArity() = arity`
`115`	`115`	`}`
`116`	`116`
	`117`	`+pragma[nomagic]`
`117`	`118`	`private PredicateOrBuiltin classPredCandidate(Type ty, string name, int arity) {`
`118`	`119`	`result = declaredPred(ty, name, arity)`
`119`	`120`	`or`