Skip to content
Unverified Commit 2f3bc37c authored by GnSight's avatar GnSight Committed by GitHub
Browse files

[PredicateInfo] Update comments for PredicateAssume (NFC) (#139269) 

Previously, PredicateAssume was modified to materialize after the assume
statement rather than before it (See 353fa440). Update relevant comments
to match this.
parent 7ff0cf61
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment