Closed ltratt closed 5 months ago
This is a classic copy and paste mistake on my part: I didn't think carefully enough about the syms.is_empty() clause.
syms.is_empty()
Fixes https://github.com/softdevteam/grmtools/issues/463.
This is a classic copy and paste mistake on my part: I didn't think carefully enough about the
syms.is_empty()
clause.Fixes https://github.com/softdevteam/grmtools/issues/463.