From 1149d4348806740da595c50156305a312424febe Mon Sep 17 00:00:00 2001
From: Philip Ginsbach <ginsbach@github.com>
Date: Thu, 20 Aug 2020 10:26:46 +0100
Subject: [PATCH] remove reliance on InferredBinding from
 InsecureFeatureFlag::getAFlagName

---
 ql/src/semmle/go/security/InsecureFeatureFlag.qll | 1 +
 1 file changed, 1 insertion(+)

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. */