diff --git a/ql/src/semmle/go/security/InsecureFeatureFlag.qll b/ql/src/semmle/go/security/InsecureFeatureFlag.qll
index 2f5d61c0c0b..a753a342c37 100644
--- a/ql/src/semmle/go/security/InsecureFeatureFlag.qll
+++ b/ql/src/semmle/go/security/InsecureFeatureFlag.qll
@@ -15,6 +15,7 @@ module InsecureFeatureFlag {
     /**
      * Returns a flag name of this type.
      */
+    bindingset[result]
     abstract string getAFlagName();
 
     /** Gets a global value number representing a (likely) security flag. */