Minor improvement

This commit is contained in:
tiferet
2023-01-03 11:26:42 -08:00
parent a73b52adef
commit 4db0dec82e

View File

@@ -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.