From e235e151f1cab2dbbab37244b0e3940af585e186 Mon Sep 17 00:00:00 2001
From: Anders Schack-Mulligen <aschackmull@github.com>
Date: Wed, 30 Jun 2021 11:09:08 +0200
Subject: [PATCH] Java: Fix bad magic.

---
 java/ql/src/semmle/code/java/security/RequestForgery.qll | 1 +
 1 file changed, 1 insertion(+)

diff --git a/java/ql/src/semmle/code/java/security/RequestForgery.qll b/java/ql/src/semmle/code/java/security/RequestForgery.qll
index 4ac9e6232ef..b23d0a855c0 100644
--- 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
   ) {