Java: Fix bad magic.

aschackmull · aschackmull · commit 6374914053b4 · 2021-06-23T14:39:18.000+02:00
diff --git a/java/ql/src/semmle/code/java/dataflow/ExternalFlow.qll b/java/ql/src/semmle/code/java/dataflow/ExternalFlow.qll
@@ -560,6 +560,7 @@ module CsvValidation {
   }
 }
 
+pragma[nomagic]
 private predicate elementSpec(
   string namespace, string type, boolean subtypes, string name, string signature, string ext
 ) {

Original file line number	Diff line number	Diff line change
`@@ -560,6 +560,7 @@ module CsvValidation {`
`560`	`560`	`}`
`561`	`561`	`}`
`562`	`562`
	`563`	`+pragma[nomagic]`
`563`	`564`	`private predicate elementSpec(`
`564`	`565`	`string namespace, string type, boolean subtypes, string name, string signature, string ext`
`565`	`566`	`) {`