Shared: Make 'standardFlowsTo' private.

This commit is contained in:
Mathias Vorreiter Pedersen
2025-09-10 11:26:36 +01:00
parent b7bc94b987
commit f8bdf924db

View File

@@ -269,7 +269,7 @@ module TypeTracking<LocationSig Location, TypeTrackingInput<Location> I> {
}
pragma[inline]
predicate standardFlowsTo(Node localSource, Node dst) {
private predicate standardFlowsTo(Node localSource, Node dst) {
isLocalSourceNode(localSource) and
dst = localSource
or