diff --git a/cpp/ql/src/experimental/Security/CWE/CWE-193/ConstantSizeArrayOffByOne.ql b/cpp/ql/src/experimental/Security/CWE/CWE-193/ConstantSizeArrayOffByOne.ql
index f7bbbbb75d9..fb664a0c364 100644
--- a/cpp/ql/src/experimental/Security/CWE/CWE-193/ConstantSizeArrayOffByOne.ql
+++ b/cpp/ql/src/experimental/Security/CWE/CWE-193/ConstantSizeArrayOffByOne.ql
@@ -111,7 +111,6 @@ module FieldAddressToDerefConfig implements DataFlow::StateConfigSig {
     )
   }
 
-  pragma[inline]
   predicate isSink(DataFlow::Node sink, FlowState state) {
     exists(DataFlow::Node pai |
       state = TOverflowArithmetic(pai.asInstruction()) and