Skip to content
Commit a124b4c7 authored by Philip Reames's avatar Philip Reames Committed by Philip Reames
Browse files

[LFTR] Simplify another case under assumption exit counts are integers [nfc] 

This invariant was introduced in 8f3d1690.
parent f2c38593
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