From 4db0dec82e3b5244ac24b8ba7dee36b3eaa17b71 Mon Sep 17 00:00:00 2001
From: tiferet <tiferet@github.com>
Date: Tue, 3 Jan 2023 11:26:42 -0800
Subject: [PATCH] Minor improvement

---
 .../lib/experimental/adaptivethreatmodeling/ATMConfig.qll       | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/java/ql/experimental/adaptivethreatmodeling/lib/experimental/adaptivethreatmodeling/ATMConfig.qll b/java/ql/experimental/adaptivethreatmodeling/lib/experimental/adaptivethreatmodeling/ATMConfig.qll
index 724ddd0ccd1..4614a5fbae3 100644
--- a/java/ql/experimental/adaptivethreatmodeling/lib/experimental/adaptivethreatmodeling/ATMConfig.qll
+++ b/java/ql/experimental/adaptivethreatmodeling/lib/experimental/adaptivethreatmodeling/ATMConfig.qll
@@ -52,7 +52,7 @@ abstract class AtmConfig extends TaintTracking::Configuration {
    *
    * Holds if `source` is a known source of flow.
    */
-  predicate isKnownSource(DataFlow::Node source) { none() }
+  abstract predicate isKnownSource(DataFlow::Node source);
 
   /**
    * EXPERIMENTAL. This API may change in the future.