Java: Fix bad magic.

aschackmull · aschackmull · commit e235e151f1ca · 2021-06-30T11:09:08.000+02:00
diff --git a/java/ql/src/semmle/code/java/security/RequestForgery.qll b/java/ql/src/semmle/code/java/security/RequestForgery.qll
@@ -149,6 +149,7 @@ private class StringBuilderVarExt extends StringBuilderVar {
   /**
    * Implements `StringBuilderVarExt.getNextAppendIncludingAssignmentChains+(prev)`.
    */
+  pragma[nomagic]
   StringBuilderAppend getSubsequentAppendIncludingAssignmentChains(
     StringBuilderConstructorOrAppend prev
   ) {
