Skip to content

Commit

Permalink
Update ContentDataFlow
Browse files Browse the repository at this point in the history
  • Loading branch information
hvitved committed Dec 10, 2024
1 parent e8b8c7b commit 75cd8df
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -237,7 +237,7 @@ module MakeImplContentDataFlow<LocationSig Location, InputSig<Location> Lang> {
Node node1, State state1, ContentSet c, Node node2, StoreState state2
) {
exists(boolean preservesValue, int size |
storeSet(node1, c, node2, _, _) and
storeSet(node1, c, node2) and
ContentConfig::isRelevantContent(c) and
state2.decode(size + 1, preservesValue)
|
Expand Down

0 comments on commit 75cd8df

Please sign in to comment.