JS: Bugfix in DeduplicatePathGraph

This was introduced after a quick fix to handle the addition of
provenance.
This commit is contained in:
Asger F
2024-06-25 10:28:29 +02:00
parent f43a189f06
commit 20df5adbaa

View File

@@ -957,7 +957,7 @@ module DataFlowMake<LocationSig Location, InputSig<Location> Lang> {
}
private predicate edgesProj(InputPathNode node1, InputPathNode node2) {
Graph::edges(node2, node1, _, _)
Graph::edges(node1, node2, _, _)
}
private module Pass1 =