Skip to content
Commit 87fbc06d authored by Simon Pilgrim's avatar Simon Pilgrim
Browse files

[DAG] Pull out getTruncatedUSUBSAT helper from foldSubToUSubSat. NFCI. 

This will simplify an incoming generic implementation of D25987.

I'll rebase D96703 shortly to support this.
parent 05c64ea6
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